Issued Patents 2011
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7995619 | Methods and arrangements to model an asynchronous interface | Bradley Nelson | 2011-08-09 |
| 7885801 | Modeling asynchronous behavior from primary inputs and latches | Zoltan T. Hidvegi, Bradley Nelson | 2011-02-08 |
| 7886244 | Driving values to DC adjusted/untimed nets to identify timing problems | Robert B. Gass, Christoph Jaeschke | 2011-02-08 |
| 7882473 | Sequential equivalence checking for asynchronous verification | Jason R. Baumgartner, Hari Mony, Viresh Paruthi, Barinjato Ramanandray | 2011-02-01 |
| 7877717 | Accurately modeling an asynchronous interface using expanded logic elements | Bing-Lun Chu, Bradley Nelson, Wolfgang Roesner | 2011-01-25 |
| 7870528 | Method and system for unfolding/replicating logic paths to facilitate modeling of metastable value propagation | Bradley Nelson | 2011-01-11 |