The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 01, 2017
Filed:
Jul. 02, 2015
Synopsys, Inc., Mountain View, CA (US);
Malay Ganai, San Jose, CA (US);
Mohamed Shaker Sarwary, San Diego, CA (US);
Maher Mneimneh, San Jose, CA (US);
Paras Mal Jain, Greater Noida, IN;
Mohammad Homayoun Movahed-Ezazi, Saratoga, CA (US);
Pronay Kumar Biswas, W. Bengal, IN;
Nishant Gupta, Uttarpradesh, IN;
Synopsys, Inc., Mountain View, CA (US);
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.