| 11010160 |
Load register on condition immediate instruction |
Wolfgang Gellerich, Martin Schwidefsky, Chung-Lung K. Shum |
2021-05-18 |
$4,116,000 |
| 10235168 |
Load register on condition immediate or immediate instruction |
Wolfgang Gellerich, Martin Schwidefsky, Chung-Lung K. Shum |
2019-03-19 |
$3,213,000 |
| 9594683 |
Data processing in a multiple processor system to maintain multiple processor cache memory access coherency |
Jens-Peter Dittrich, Christian Jacobi, Matthias Pflanz, Stefan Schuh |
2017-03-14 |
$3,628,000 |
| 9329863 |
Load register on condition with zero or immediate instruction |
Wolfgang Gellerich, Martin Schwidefsky, Chung-Lung K. Shum |
2016-05-03 |
$3,695,000 |
| 9218442 |
Firmware and hardware verification using Opcode comparison |
Christopher A. Krygowski, Michael P. Mullen, Timothy J. Slegel |
2015-12-22 |
$2,572,000 |
| 8600724 |
Verifying a processor design using a processor simulation model |
Stefan Letz, Juergen Vielfort |
2013-12-03 |
$7,507,000 |
| 8402403 |
Verifying a register-transfer level design of an execution unit |
Stefan Letz, Michelangelo Masini, Juergen Vielfort |
2013-03-19 |
$8,741,000 |
| 8249848 |
Verifying a processor design using a processor simulation model |
Stefan Letz, Juergen Vielfort |
2012-08-21 |
$4,162,000 |
| 7949968 |
Method and system for building binary decision diagrams optimally for nodes in a netlist graph using don't-caring |
Christian Jacobi, Udo Krautz, Viresh Paruthi, Matthias Pflanz |
2011-05-24 |
$5,693,000 |
| 7890903 |
Method and system for formal verification of an electronic circuit design |
Matthias Pflanz, Christian Jacobi, Udo Krautz |
2011-02-15 |
$3,434,000 |
| 7865793 |
Test case generation with backward propagation of predefined results and operand dependencies |
Stefan Letz, Juergen Vielfort |
2011-01-04 |
$2,931,000 |
| 7853917 |
System for building binary decision diagrams efficiently in a structural network representation of a digital circuit |
Viresh Paruthi, Christian Jacobi, Geert Janssen, Jiazhao Xu |
2010-12-14 |
$5,212,000 |
| 7836413 |
Building binary decision diagrams efficiently in a structural network representation of a digital circuit |
Viresh Paruthi, Christian Jacobi, Geert Janssen, Jiazhao Xu |
2010-11-16 |
$4,384,000 |
| 7752583 |
System for verification of digital designs using case-splitting via constrained internal signals |
Jason R. Baumgartner, Christian Jacobi, Viresh Paruthi |
2010-07-06 |
$3,063,000 |
| 7624363 |
Method and apparatus for performing equivalence checking on circuit designs having differing clocking and latching schemes |
Jason R. Baumgartner, Tobias Gemmeke, Nicolas Maeding |
2009-11-24 |
$13,674,000 |
| 7506290 |
Method and system for case-splitting on nodes in a symbolic simulation framework |
Christian Jacobi, Geert Janssen, Viresh Paruthi |
2009-03-17 |
$4,806,000 |
| 7475371 |
Method and system for case-splitting on nodes in a symbolic simulation framework |
Christian Jacobi, Geert Janssen, Viresh Paruthi |
2009-01-06 |
$2,860,000 |
| 7458048 |
Computer program product for verification of digital designs using case-splitting via constrained internal signals |
Jason R. Baumgartner, Christian Jacobi, Viresh Paruthi |
2008-11-25 |
$6,627,000 |
| 7367001 |
Method, system and computer program product for verification of digital designs using case-splitting via constrained internal signals |
Jason R. Baumgartner, Christian Jacobi, Viresh Paruthi |
2008-04-29 |
$12,832,000 |
| 7363603 |
Method and system for case-splitting on nodes in a symbolic simulation framework |
Christian Jacobi, Geert Janssen, Viresh Paruthi |
2008-04-22 |
$8,943,000 |
| 7340704 |
Method and system for optimized automated case-splitting via constraints in a symbolic simulation framework |
Jason R. Baumgartner, Christian Jacobi, Viresh Paruthi |
2008-03-04 |
$11,456,000 |
| 7340473 |
Method and system for building binary decision diagrams efficiently in a structural network representation of a digital circuit |
Viresh Paruthi, Christian Jacobi, Geert Janssen, Jiazhao Xu |
2008-03-04 |
$11,456,000 |
| 7302656 |
Method and system for performing functional verification of logic circuits |
Christian Jacobi, Nico Gulden, Viresh Paruthi, Klaus Keuerleber |
2007-11-27 |
$7,635,000 |
| 7290229 |
Method and system for optimized handling of constraints during symbolic simulation |
Jason R. Baumgartner, Christian Jacobi, Viresh Paruthi |
2007-10-30 |
$4,304,000 |
