Questions?
[x] GRC Science Area
DES – Design Sciences

Content Type
Patent Filings 2

SRC Program
GRC 2

Thrust/Theme
DV – Design Verification 1
Synthesis & Verification 1

1 through 2 of 2 similar documents, best matches first.   
1: Formal Verification of a Logic Design Through Implicit Enumeration...
Formal Verification of a Logic Design Through Implicit Enumeration of Strongly Connected Components Application Type: Utility Patent Number: 6526551 Country: United States Status: ...
URL: https://www.src.org/library/patent/p0189/
Modified: 2003-02-25 - 22KB
Find Similar Documents
2: Method, Apparatus and Computer Program Product for Determining...
Method, Apparatus and Computer Program Product for Determining a Frequency Domain Response of a Nonlinear Microelectronic Circuit Application Type: Utility Patent Number: 5663890 ...
URL: https://www.src.org/library/patent/p0014/
Modified: 1997-09-02 - 24KB
Find Similar Documents