[x]
Thrust/Theme
VER – Verification
|
| 1 through 6 of
6 similar documents, best matches first. |
|
- 1:
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
- 2:
System and Method for Testing a Logic-Based Processing Device...
- System and Method for Testing a Logic-Based Processing Device Application Type: Utility Patent Number: 9928150 Country: United States Status: Filed on 30-Jun-2014, Issued on ...
URL: https://www.src.org/library/patent/p1458/
Modified: 2018-03-27 - 22KB
Find Similar Documents
- 3:
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
- 4:
India Design Review (Event E005563) - SRC
- India Design Review Date: Wednesday, Jan. 7, 2015, 6 p.m. - Thursday, Jan. 8, 2015, 5 p.m. Local Location: Hyatt Bangalore, 1/1, Swami Vivekananda Road, Off M.G. Road, Ulsoor, ...
URL: https://www.src.org/calendar/e005563/
Modified: 2015-02-04 - 82KB
Find Similar Documents
- 5:
Apparatus for Detecting Bugs in Logic-Based Processing Devices...
- Apparatus for Detecting Bugs in Logic-Based Processing Devices Application Type: Utility Patent Number: 10120737 Country: United States Status: Filed on 18-Feb-2016, Issued on ...
URL: https://www.src.org/library/patent/p1597/
Modified: 2018-11-06 - 23KB
Find Similar Documents
- 6:
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
| 1 through 6 of
6 similar documents, best matches first. |
|
|
|
