Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and apparatus for simulating behavioral constructs using indeterminate values

Method and apparatus for simulating behavioral constructs using indeterminate values

US Patent 7934183 · Granted Apr 26, 2011

Estimated economic value: $3,283,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

High speed, low hardware footprint waveform2023
High speed, low hardware footprint waveform2021
Optimizing constraint solving by rewriting at least one bit-slice constraint2019
Optimizing constraint solving by rewriting at least one modulo constraint2015
Reducing x-pessimism in gate-level simulation and verification2014
Reducing x-pessimism in gate-level simulation and verification2014
Method for modeling an HDL design using symbolic simulation2012
Method and apparatus for simulating behavioral constructs using indeterminate va2012
Method and apparatus for simulating behavioral constructs using indeterminate va2012
Method and apparatus for simulating behavioral constructs using indeterminate va2012
Enhancing performance of a constraint solver across individual processes2012
Method and apparatus for integrating a simulation log into a verification enviro2007