Issued Patents All Time
Showing 51–75 of 136 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7469400 | Method, system and program product supporting presentation of a simulated or hardware system including configuration entities | Derek E. Williams | 2008-12-23 |
| 7454737 | Method, system and program product for specifying and using register entities to configure a simulated or physical digital system | Derek E. Williams | 2008-11-18 |
| 7453759 | Clock-gated model transformation for asynchronous testing of logic targeted for free-running, data-gated logic | Yee Ja, Bradley Nelson | 2008-11-18 |
| 7454325 | Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases | Michael L. Behm, Carol Ivash Gabele, Derek E. Williams | 2008-11-18 |
| 7441209 | Method, system and program product for providing a configuration specification language supporting error checking dials | Robert J. Shadowen, Derek E. Williams | 2008-10-21 |
| 7434193 | Method, system and program product for specifying a configuration for a digital system utilizing dial biasing weights | Bryan Hunt, Robert J. Shadowen, Derek E. Williams | 2008-10-07 |
| 7426461 | Method, system and program product for providing a configuration specification language supporting incompletely specified configuration entities | Bradley Nelson, Derek E. Williams | 2008-09-16 |
| 7395524 | Method, system and program product providing a configuration specification language having clone latch support | Derek E. Williams | 2008-07-01 |
| 7392169 | Method, system and program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language | Carol Ivash Gabele, Derek E. Williams | 2008-06-24 |
| 7392501 | Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs | Derek E. Williams | 2008-06-24 |
| 7389490 | Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities | Derek E. Williams | 2008-06-17 |
| 7386825 | Method, system and program product supporting presentation of a simulated or hardware system including configuration entities | Derek E. Williams | 2008-06-10 |
| 7373290 | Method and system for reducing storage requirements of simulation data via keyword restrictions | Carol Ivash Gabele, Derek E. Williams | 2008-05-13 |
| 7366999 | Method, system and program product providing a configuration specification language supporting arbitrary mapping functions for configuration constructs | Derek E. Williams | 2008-04-29 |
| 7359847 | Tracking converage results in a batch simulation farm network | Carol Ivash Gabele, Derek E. Williams | 2008-04-15 |
| 7312126 | Process for producing a layer arrangement, and layer arrangement for use as a dual gate field-effect transistor | Gurkan Ilicali, Richard Luyken | 2007-12-25 |
| 7305639 | Method and apparatus for specifying multiple voltage domains and validating physical implementation and interconnections in a processor chip | Michael Stephen Floyd, Joshua D. Friedrich, Elspeth Anne Huston, Rick John Weiss | 2007-12-04 |
| 7299436 | System and method for accurately modeling an asynchronous interface using expanded logic elements | Bing-Lun Chu, Yee Ja, Bradley Nelson | 2007-11-20 |
| 7298004 | Charge-trapping memory cell and method for production | Michael Specht, Franz Hofmann | 2007-11-20 |
| 7284210 | Method for reconfiguration of random biases in a synthesized design without recompilation | Jason R. Baumgartner, Ali S. El-Zein, Daniel Heller | 2007-10-16 |
| 7265424 | Fin Field-effect transistor and method for producing a fin field effect-transistor | Franz Hofmann, Johannes Kretz, Thomas Schulz | 2007-09-04 |
| 7266489 | Method, system and program product for determining a configuration of a digital design by reference to an invertible configuration database | Bryan Hunt, Derek E. Williams | 2007-09-04 |
| 7249330 | Method, system and program product providing a configuration specification language having split latch support | Derek E. Williams | 2007-07-24 |
| 7239993 | Method, system and program product that automatically generate coverage instrumentation for configuration constructs within a digital system | Derek E. Williams | 2007-07-03 |
| 7236918 | Method and system for selective compilation of instrumentation entities into a simulation model of a digital design | Derek E. Williams | 2007-06-26 |