| 1 2 3 |
| Patent ID | Title | Date Filed |
| 7076753 | Method and apparatus for solving sequential constraints
| December 18, 2003 |
| 7076418 | Method and device for system simulation of microcontrollers/microprocessors and corresponding peripheral modules
| September 2, 1999 |
| 7076416 | Method and apparatus for evaluating logic states of design nodes for cycle-based simulation
| March 25, 2002 |
| 7076407 | Space reduction in compositional state systems
| August 24, 2001 |
| 7072821 | Device and method for synchronizing an asynchronous signal in synthesis and simulation of a clocked circuit
| May 25, 1999 |
| 7072818 | Method and system for debugging an electronic system
| November 28, 2000 |
| 7058562 | Apparatus and method for performing event processing in a mixed-language simulator
| March 3, 2001 |
| 7050958 | Method and apparatus for accelerating hardware simulation
| June 2, 2000 |
| 7050866 | Dynamic controller for controlling a system
| May 17, 2004 |
| 7047505 | Method for optimizing the characteristics of integrated circuits components from circuit specifications
| October 16, 2001 |
| 7047174 | Method for producing test patterns for testing an integrated circuit
| May 2, 2001 |
| 7043709 | Method and apparatus for determining gate-level delays in an integrated circuit
| August 11, 2003 |
| 7039885 | Methodology for design of oscillator delay stage and corresponding applications
| January 21, 2003 |
| 7035784 | Data-driven method simulator and simulation process
| September 22, 2000 |
| 7031899 | System for characterizing simulated circuit logic and behavior
| April 9, 2001 |
| 7024347 | Transaction conflict testing method and apparatus
| July 20, 2001 |
| 7020716 | Method and system for verifying the hardware implementation of TCP/IP
| August 31, 2001 |
| 7010475 | Derating factor determination for integrated circuit logic design tools
| February 5, 2003 |
| 7007252 | Method and apparatus for characterizing the propagation of noise through a cell in an integrated circuit
| April 9, 2003 |
| 7003745 | Performance modeling for circuit design
| August 11, 2003 |
| 6993467 | Method and circuits for performing offline circuit trimming
| December 5, 2000 |
| 6986117 | Method and apparatus for identifying a path between source and target states
| December 31, 2002 |
| 6986110 | Automated method and system for backtracing of instruction parameters from specified instruction in test cases
| January 2, 2003 |
| 6975976 | Property specific testbench generation framework for circuit design validation by guided simulation
| October 23, 2000 |
| 6973417 | Method and system for simulating execution of a target program in a simulated target system
| November 5, 1999 |
| 6965852 | Pseudo random test pattern generation using Markov chains
| December 15, 2000 |
| 6961690 | Behaviorial digital simulation using hybrid control and data flow representations
| March 24, 1999 |
| 6961689 | Scheduling non-integral simulation time for mixed-signal simulation
| March 21, 2000 |
| 6957403 | Computer-aided design system to automate scan synthesis at register-transfer level
| March 28, 2002 |
| 6944837 | System and method for evaluating an integrated circuit design
| December 20, 2002 |
| 6944552 | System and method for detecting power deficiencies in a computer component
| June 25, 2003 |
| 6941258 | Method, apparatus and computer program product for determination of noise in mixed signal systems
| March 16, 2001 |
| 6941257 | Hierarchical processing of simulation model events
| December 30, 2000 |
| 6938237 | Method, apparatus, and system for hardware design and synthesis
| June 28, 2002 |
| 6931608 | Method and apparatus for determining viability of path expansions
| November 5, 2002 |
| 6920418 | Detecting events within simulation models
| December 30, 2000 |
| 6918098 | Random code generation using genetic algorithms
| July 16, 2002 |
| 6915504 | Method for designing arithmetic device allocation
| August 29, 2002 |
| 6912700 | Method and system for non-linear state based satisfiability
| June 6, 2002 |
| 6910196 | Clocked and non-clocked repeater insertion in a circuit design
| May 8, 2003 |
| 6889180 | Method and apparatus for a monitor that detects and reports a status event to a database
| September 24, 1999 |
| 6886144 | Logic verification method for semiconductor device
| January 29, 2003 |
| 6885983 | Method for automatically searching for functional defects in a description of a circuit
| May 4, 2001 |
| 6859770 | Method and apparatus for generating transaction-based stimulus for simulation of VLSI circuits using event coverage analysis
| November 30, 2000 |
| 6842728 | Time-multiplexing data between asynchronous clock domains within cycle simulation and emulation environments
| March 12, 2001 |
| 6842727 | Device and method for analyzing EMI noise and semiconductor device
| December 3, 1999 |
| 6832187 | Methods of providing page protection in a digital printing system having multiple output devices
| May 10, 1999 |
| 6823300 | Memory efficient occurrence model design for VLSI CAD
| November 10, 2000 |
| 6810340 | Electromagnetic disturbance analysis method and apparatus and semiconductor device manufacturing method using the method
| March 8, 2002 |
| 6799153 | Cross coupling delay characterization for integrated circuits
| April 20, 2000 |
| 1 2 3 |