技术编号：6654792
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明涉及使用基于计算机程序的过程执行LSI(大规模集成电路)的电路验证等的技术，以及验证技术，其用于当由模拟器对RTL(寄存器转换层)中的电路的设计数据进行动态验证时，通过把要被验证的电路的特性转换为断言(assertion)描述并且将该断言描述输入到模拟器，来进行验证从而在设计数据中不存在设计违规和遗漏验证。更具体地说，涉及使用上述技术的。要在下面讨论的特性是对在要被验证的设计数据中所期望和所期图的操作进行定义的直白描述。例如，特性定义了请求信号的响应...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。