System and method for netlist clock domain crossing verification
US9721057B2 · kind B2 · utility
1Cited by
14References
18Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jul 2, 2015 |
| Grant date | Aug 1, 2017 |
| Priority date | — |
| Expiry date | Jul 2, 2035 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/396
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and method for netlist clock domain crossing verification leverages RTL clock domain crossing (CDC) verification data and results. The netlist clock domain crossing verification system (NCDC) migrates RTL-level constraints and waivers to the netlist design so that the user does not have to re-enter them. The NCDC checks the netlist and generates a report that compares RTL-level CDC checking results to the netlist-level CDC checking results to make it easy to see new issues. The NCDC receives and stores netlist corrections from user input or automatically corrects certain CDC violations, in the netlist.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.