[发明专利]一种超大规模集成电路VLSI形式化验证平台及方法

摘要

本发明公开了一种超大规模集成电路VLSI形式化验证平台及方法，所述验证平台包括组件：变量设置脚本、Lib读入脚本、DUT读入脚本、Env设置脚本、Report设置脚本，所述验证平台还包括处理验证平台输出结果的match/unmatch点提取脚本。本发明使用perl实现了对结果的处理，实现了对unmatch点的迭代验证的自动化进行，各待验证模块源代码、Lib各自管理，大大降低了读入时间的消耗。

主权项

一种超大规模集成电路VLSI形式化验证平台，所述验证平台包括组件：变量设置脚本、Lib读入脚本、DUT读入脚本、Env设置脚本、Report设置脚本，其特征在于：所述验证平台还包括处理验证平台输出结果的match/unmatch点提取脚本，其中：变量设置脚本，统一设置Lib/DUT读入路径、结果输出路径及待测设置顶层名宏变量，负责完成对各DUT顶层名、源路径、报告路径、库路径变量的设置；Lib读入脚本，管理标准单元库及各种IP的读入，单独管理各模块Lib，减少读入时间；DUT读入脚本，调用变量设置脚本中的对应设置，读入源设计RTL代码，单独管理各验证模块；Env环境设置脚本，设置验证工具对于warning、undriven、blackbox特殊情况的处理方式，完成对undriven信号、mismatch_message及warning类型处理方式的设置；match/unmatch点提取脚本，负责对unmatch输出结果的处理，使其符合平台读入格式，同时对match、aborted、verified情况进行检查是否合理；针对unmatch、unverified、aborted报告进行处理，使其符合平台读入格式；Report设置脚本，调用变量设置脚本，输出分析结果、unmatch、failing、aborted、unverified信息至指定工作目录下；top.tcl文件按一定顺序调用其他设置脚本，进行统一管理并负责平台的启动，实现整个项目的一致化管理。