Issued Patents All Time
Showing 126–147 of 147 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6983435 | Integrated design verification and design simplification system | Hari Mony, Viresh Paruthi | 2006-01-03 |
| 6980957 | Audio transmission system with reduced bandwidth consumption | Nadeem Malik, Steven L. Roberts | 2005-12-27 |
| 6816826 | Fully exhibiting asynchronous behavior in a logic network simulation | Flemming Andersen, Kenneth D. Klapproth, Steven L. Roberts | 2004-11-09 |
| 6795963 | Method and system for optimizing systems with enhanced debugging information | Flemming Andersen | 2004-09-21 |
| 6763505 | Apparatus and method for automated use of phase abstraction for enhanced verification of circuit designs | Robert L. Kanzelman, Wolfgang Roesner | 2004-07-13 |
| 6751582 | Method and system for enhanced design validation through trace tailoring | Flemming Andersen, Steven L. Roberts | 2004-06-15 |
| 6748573 | Apparatus and method for removing effects of phase abstraction from a phase abstracted trace | Robert L. Kanzelman, Wolfgang Roesner | 2004-06-08 |
| 6745377 | Apparatus and method for representing gated-clock latches for phase abstraction | Robert L. Kanzelman, Wolfgang Roesner | 2004-06-01 |
| 6738955 | Method and system for formal characterization of average performance | Flemming Andersen, Steven L. Roberts | 2004-05-18 |
| 6698003 | Framework for multiple-engine based verification tools for integrated circuits | Geert Janssen, Andreas Kuehlmann, Viresh Paruthi, Louise H. Trevillyan | 2004-02-24 |
| 6678417 | Dictionary based video compression | Nadeem Malik, Steven L. Roberts | 2004-01-13 |
| 6567962 | Method, apparatus, and program for multiple clock domain partitioning through retiming | Robert Neill Newshutz, Steven L. Roberts, Anson Jeffrey Tripp | 2003-05-20 |
| 6553514 | Digital circuit verification | Nadeem Malik, Steven L. Roberts | 2003-04-22 |
| 6473772 | Apparatus and methods for dynamic simulation event triggering | Archie D. Barrett, Jr., Sriram Mandyam, Robert James Ramirez, Brett Adam St. Onge, Kenneth L. Wright | 2002-10-29 |
| 6463412 | High performance voice transformation apparatus and method | Steven L. Roberts, Nadeem Malik, Flemming Andersen | 2002-10-08 |
| 6449752 | Digital circuit verification with automated specification enumeration | Nadeem Malik, Steven L. Roberts | 2002-09-10 |
| 6438556 | Method and system for compressing data which allows access to data without full uncompression | Nadeem Malik, Steven L. Roberts | 2002-08-20 |
| 6321184 | Reduction of arbitrary L1-L2 circuits for enhanced verification | Tamir HEYMAN | 2001-11-20 |
| 6247015 | Method and system for compressing files utilizing a dictionary array | Nadeem Malik, Steven L. Roberts | 2001-06-12 |
| 6246349 | Method and system for compressing a state table that allows use of the state table without full uncompression | Nadeem Malik, Steven L. Roberts | 2001-06-12 |
| 6134684 | Method and system for error detection in test units utilizing pseudo-random data | Kenneth D. Klapproth, David Mui | 2000-10-17 |
| 6074426 | Method for automatically generating behavioral environment for model checking | Nadeem Malik | 2000-06-13 |