SYSTEM AND METHOD FOR NETLIST CLOCK DOMAIN CROSSING VERIFICATION

摘要

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.

主权项

1. An automated method, implemented as design verification software running on a computer system, for netlist clock domain crossing (CDC) verification, comprising:
receiving, by a data storage accessible to a processor, (a) a register-transfer-level (RTL) design of an integrated circuit, together with specified RTL-level CDC constraints, (b) RTL CDC verification results, and (c) a netlist corresponding to the RTL design; migrating, by the processor, the RTL-level CDC constraints to netlist CDC constraints and storing the migrated netlist CDC constraints in the data storage; checking, by the processor, the received netlist for asynchronous clock domain crossings using the migrated netlist CDC constraints to identify correspondences between RTL and netlist level crossings and reporting any CDC violations found in the netlist; comparing, by the processor, netlist CDC verification results with the received RTL CDC verification results and reporting specified kinds of similarities and differences; and correcting specified types of reported CDC violations by modifying the netlist.