Questions?
[x] Content Type
Patent Filings

[x] SRC Program
GRC

Center
C-SPIN 1
CNFD 1
CRISP 1
NRI-NSF 1

Thrust/Theme
LPD – Logic & Physical Design 7
NMP – Nanomanufacturing Material... 3
VER – Verification 3
CADT – Computer-Aided Design and... 2
HWS – Hardware Security 2
CFM&TCM – CFM & Total Chemical M... 1
CRISP-T1 – Hardware Support for ... 1
NEM – Nanoengineered Materials 1
Synthesis & Verification 1

GRC Science Area
CADTS – Computer Aided Design & ... 11
DES – Design Sciences 1
LIT – Lithography Sciences 1
MBP – Materials & Bulk Processes... 1
NMS – Nanomanufacturing Sciences 1

1 through 18 of 18 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 and System for Synthesizing Relative Timing Constraints...
Method and System for Synthesizing Relative Timing Constraints on an Integrated Circuit Design to Facilitate Timing Verification Application Type: Continuation Patent Number: ...
URL: https://www.src.org/library/patent/p1354/
Modified: 2012-11-27 - 24KB
Find Similar Documents
3: Method and System for Synthesizing Relative Timing Constraints...
Method and System for Synthesizing Relative Timing Constraints on an Integrated Circuit Design to Facilitate Timing Verification Application Type: Utility Patent Number: 8239796 ...
URL: https://www.src.org/library/patent/p1202/
Modified: 2012-08-07 - 24KB
Find Similar Documents
4: POLARIZERS BASED ON LOOPED WAVEGUIDE CROSSINGS (Patent P2057...
POLARIZERS BASED ON LOOPED WAVEGUIDE CROSSINGS Application Type: Utility Patent Number: 7345805 Country: United States Status: Filed on 10-Jun-2005, Issued on 18-Mar-2008, Patent ...
URL: https://www.src.org/library/patent/p2057/
Modified: 2008-03-18 - 22KB
Find Similar Documents
5: WaveGuide Crossings having Arms Shaped with a Non-Linear Curvature...
WaveGuide Crossings having Arms Shaped with a Non-Linear Curvature Application Type: Utility Patent Number: 10989873 Country: United States Status: Filed on 25-Oct-2019, Issued on ...
URL: https://www.src.org/library/patent/p1910/
Modified: 2021-04-27 - 22KB
Find Similar Documents
6: PHOTONIC TRANSMITTER DRIVERS WITH LOGIC USING CASCADED DIFFERENTIAL...
PHOTONIC TRANSMITTER DRIVERS WITH LOGIC USING CASCADED DIFFERENTIAL TRANSISTOR PAIRS STEPPED BY SUPPLY VOLTAGE DIFFERENCES Application Type: Utility Patent Number: 11239633 ...
URL: https://www.src.org/library/patent/p1909/
Modified: 2022-02-01 - 22KB
Find Similar Documents
7: Quantifier Elimination by Dependency Sequents (Patent P1309)...
Quantifier Elimination by Dependency Sequents Application Type: Utility Patent Number: 8438513 Country: United States Status: Filed on 30-Dec-2011, Issued on 7-May-2013, Patent ...
URL: https://www.src.org/library/patent/p1309/
Modified: 2013-05-07 - 22KB
Find Similar Documents
8: Clock Gating with an Asynchronous Wrapper Cell (Patent P1440...
Clock Gating with an Asynchronous Wrapper Cell Application Type: Utility Patent Number: 9753486 Country: United States Status: Filed on 15-Jun-2015, Issued on 5-Sep-2017 ...
URL: https://www.src.org/library/patent/p1440/
Modified: 2017-09-05 - 22KB
Find Similar Documents
9: Asynchronous Finite State Machines (Patent P1610) - SRC
Asynchronous Finite State Machines Application Type: Utility Patent Number: 10310994 Country: United States Status: Filed on 28-Feb-2017, Issued on 4-Jun-2019 Organization: ...
URL: https://www.src.org/library/patent/p1610/
Modified: 2019-06-04 - 22KB
Find Similar Documents
10: Apparatus and Method for Shaping and Detecting a Particle Beam...
Apparatus and Method for Shaping and Detecting a Particle Beam Application Type: Utility Patent Number: 5270542 Country: United States Status: Filed on 31-Dec-1992, Issued on ...
URL: https://www.src.org/library/patent/p0197/
Modified: 1993-12-14 - 22KB
Find Similar Documents
11: Method and System to Check Correspondence between Different Representa...
Method and System to Check Correspondence between Different Representations of a Circuit Application Type: Continuation (in part) Patent Number: 7418680 Country: United States ...
URL: https://www.src.org/library/patent/p0476/
Modified: 2008-08-26 - 22KB
Find Similar Documents
12: Magneto-Electric Voltage Controlled Spin Transistors (Patent...
Magneto-Electric Voltage Controlled Spin Transistors Application Type: Utility Patent Number: 9379232 Country: United States Status: Filed on 18-Feb-2014, Issued on 28-Jun-2016 ...
URL: https://www.src.org/library/patent/p1469/
Modified: 2016-06-28 - 27KB
Find Similar Documents
13: Method and System to Verify a Circuit Design By Verifying Consistency...
Method and System to Verify a Circuit Design By Verifying Consistency Between Two Different Language Representations of a Circuit Design Application Type: Utility Patent Number: ...
URL: https://www.src.org/library/patent/p0424/
Modified: 2007-05-29 - 22KB
Find Similar Documents
14: Method for Correcting a Mask Design Layout (Patent P1016) - SRC
Method for Correcting a Mask Design Layout Application Type: Continuation Patent Number: 7614032 Country: United States Status: Filed on 11-Dec-2006, Issued on 3-Nov-2009, Patent ...
URL: https://www.src.org/library/patent/p1016/
Modified: 2009-11-03 - 23KB
Find Similar Documents
15: Method for Correcting a Mask Design Layout (Patent P0386) - SRC
Method for Correcting a Mask Design Layout Application Type: Utility Patent Number: 7149999 Country: United States Status: Filed on 25-Feb-2004, Issued on 12-Dec-2006, Patent ...
URL: https://www.src.org/library/patent/p0386/
Modified: 2006-12-12 - 23KB
Find Similar Documents
16: Hardware Trojan Detection through Information Flow Security Verificati...
Hardware Trojan Detection through Information Flow Security Verification Application Type: Utility Patent Number: 11270002 Country: United States Status: Filed on 14-May-2018, ...
URL: https://www.src.org/library/patent/p1763/
Modified: 2022-03-08 - 22KB
Find Similar Documents
17: METHOD FOR CORRECTING A MASK DESIGN LAYOUT (Patent P1708) - SRC
METHOD FOR CORRECTING A MASK DESIGN LAYOUT Application Type: Utility Patent Number: 7149999 Country: United States Status: Filed on 25-Feb-2004, Issued on 12-Dec-2006, Patent ...
URL: https://www.src.org/library/patent/p1708/
Modified: 2006-12-12 - 23KB
Find Similar Documents
18: Methods of Operating on Data in a Fully Homomorphic Encryption...
Methods of Operating on Data in a Fully Homomorphic Encryption System Using In-Situ Processing-in-Memory and Related Circuits Application Type: Utility Country: United States ...
URL: https://www.src.org/library/patent/p2112/
Modified: 2023-01-10 - 25KB
Find Similar Documents
1 through 18 of 18 similar documents, best matches first.