专利名称：DYNAMIC CDC VERIFICATION METHOD 发明人：BISHT, Sukriti,HARI, Ashish,KHARE, Sulabh Kumar,TAKARA, Kurt节日快乐 英文
申请号：US2020/048681
readitlater申请日：20200831
公开号：WO2022/046089A1
爱是妥协电影公开日：
scarf怎么读
20220303
专利内容由知识产权出版社提供
frenchcum
专利附图：
摘要：The prent invention disclos a computer implemented method of dynamically verifying clock domain crossing (CDC) paths in a register-transfer level (RTL) design. In addition to static analysis, formal analysis and simulation steps, each CDC pathram是什么意思
escape的用法is allocated a persistent unique identifier. This enables the updating of a centralized results data-ba using the persistent unique identifier to label the associated CDC protocol asrtions, functional coverage and results of the formal analysis and simulation. In addition, prior to simulation analysis, CDC protocol asrtions that have been proven during formal analysis are turned off, resulting in the simulation run only being carried out for non-proven CDC protocol asrtions.
chinecommunist申请人：SIEMENS INDUSTRY SOFTWARE INC.
地址：5800 Granite Parkway, Suite 600 Plano, Texas 75024
trend micro国籍：US
make love
代理人：GONKA, Tina et al.
更多信息请下载全文后查看
