发明名称 |
基于接口自动产生验证模型的方法 |
摘要 |
本发明公开了一种基于接口自动产生验证模型的方法,在接口文件内定义被测设计模块所有的输入和输出信号,以及验证所需的信号标识,脚本程序根据接口文件定义的内容生成验证模型模块代码和输出检查模块代码;测试激励数据送到验证模型模块后,验证模型模块计算出输出结果,暂存至一处队列中;测试激励数据送到被测设计模块后,经过一定时间周期,产生输出结果;当被测设计输出使能信号有效时,输出检查模块将暂存在所述队列内的验证模型模块输出结果取出,与被测设计模块的输出结果进行比较。采用本发明可大大减少由于芯片开发中SPEC多次更新带来的芯片验证的工作量,有效缩短了芯片的研发周期。 |
申请公布号 |
CN106529099A |
申请公布日期 |
2017.03.22 |
申请号 |
CN201611186583.7 |
申请日期 |
2016.12.20 |
申请人 |
盛科网络(苏州)有限公司 |
发明人 |
段光飞;唐飞;江源 |
分类号 |
G06F17/50(2006.01)I |
主分类号 |
G06F17/50(2006.01)I |
代理机构 |
南京利丰知识产权代理事务所(特殊普通合伙) 32256 |
代理人 |
王锋 |
主权项 |
一种基于接口自动产生验证模型的方法,其特征在于:在接口文件内定义被测设计模块所有的输入和输出信号,以及验证所需的信号标识,脚本程序根据接口文件定义的内容生成验证模型模块代码和输出检查模块代码;测试激励分别向验证模型模块和被测设计模块发送激励数据;测试激励数据送到验证模型模块后,验证模型模块计算出输出结果,暂存至一处队列中;测试激励数据送到被测设计模块后,经过一定时间周期,产生输出结果;当被测设计输出使能信号有效时,输出检查模块将暂存在所述队列内的验证模型模块输出结果取出,与被测设计模块的输出结果进行比较。 |
地址 |
215000 江苏省无锡市工业园区星汉街5号B幢4楼13/16单元 |