| 7603647 |
Recognition of a state machine in high-level integrated circuit description language code |
Michael E. J. Gilford, Gordon N. Walker, Jacob L. Tredinnick, Mark W. P. Dane |
2009-10-13 |
| 7152214 |
Recognition of a state machine in high-level integrated circuit description language code |
Michael E. J. Gilford, Gordon N. Walker, Jacob L. Tredinnick, Mark W. P. Dane |
2006-12-19 |
| 6738778 |
Method and apparatus for monitoring the execution of a program |
Paul Stuart Williamson, David Michael Bender |
2004-05-18 |
| 6675359 |
Recognition of a state machine in high-level integrated circuit description language code |
Michael E. J. Gilford, Gordon N. Walker, Jacob L. Tredinnick, Mark W. P. Dane |
2004-01-06 |
| 6587879 |
Architecture for testing pervasive appliances |
— |
2003-07-01 |
| 6480985 |
Method and apparatus for graphically presenting an integrated circuit design |
Jacob L. Tredinnick, Shahram Najm, Michael E. J. Gilford, Gordon N. Walker, Mark W. P. Dane |
2002-11-12 |
| 6289489 |
Method and apparatus for automatically cross-referencing graphical objects and HDL statements |
Stephen L. Bold, Mark W. P. Dane, Mark Paraskeva, James Stewart |
2001-09-11 |
| 6195700 |
Application protocol data unit management facility |
David Michael Bender, Paul Stuart Williamson |
2001-02-27 |