行为级模型功能比对验证的自动方法学 |
| |
引用本文: | 廖璐,候春源,李跃平,王美,刘欢艳,黄丞权,徐南南,董丽霞.行为级模型功能比对验证的自动方法学[J].电子技术应用,2019,45(8):63-67. |
| |
作者姓名: | 廖璐 候春源 李跃平 王美 刘欢艳 黄丞权 徐南南 董丽霞 |
| |
作者单位: | 紫光长存(上海)集成电路有限公司,上海,200120;Cadence Design System,上海,200120 |
| |
摘 要: | 在混合信号芯片设计领域,Verilog/Systemverilog/VHDL等行为级模型被广泛应用于描述模拟和混合信号模块的电路特性,用以帮助实现更快速全面的全芯片功能验证。为了保证正确、有效和全面的全芯片功能验证,电路模块的行为级模型和晶体管级设计之间的功能比对验证(Behavior vs.Schematic,BVS)非常关键。在此之前,利用现有的EDA工具,只能进行逻辑状态的BVS矢量检查,而不能进行实数类型的矢量检查。为了更好地描述模拟和混合信号模块的行为特性,采用了Wreal模型和SV-UDT(Systemverilog-User Defined Type),因此对EDA工具提出了新的要求,需要其支持实数类型的矢量检查。本文描述了一种行为级模型功能比对验证的自动方法学,基于Cadence XPS仿真器的矢量检查功能,可以同时实现逻辑状态和实数类型的自动比对检查。实数类型矢量检查是向EDA供应商Cadence提出的一种新的概念和需求,且已经在XPS仿真器中成功实现。
|
关 键 词: | 功能比对验证 BVS Wreal模型 实数类型矢量检查 XPS 覆盖率全面的输入激励 |
Automatic simulation method for functional equivalence check |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|