行为级模型功能比对验证的自动方法学
在混合信号芯片设计领域,Verilog/Systemverilog/VHDL等行为级模型被广泛应用于描述模拟和混合信号模块的电路特性,用以帮助实现更快速全面的全芯片功能验证。为了保证正确、有效和全面的全芯片功能验证,电路模块的行为级模型和晶体管级设计之间的功能比对验证(Behavior vs.Schematic,BVS)非常关键。在此之前,利用现有的EDA工具,只能进行逻辑状态的BVS矢量检查,而不能进行实数类型的矢量检查。为了更好地描述模拟和混合信号模块的行为特性,采用了Wreal模型和SV-UDT(Systemverilog-User Defined Type), 因此对EDA工具提出了新
用户评论
推荐下载
-
Biba实用模型的自动化形式验证2013年
通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型
3 2021-05-12 -
论文研究一种行为模型的建模及模型精化方法.pdf
一种行为模型的建模及模型精化方法,王帅强,马军,行为模型的建模和模型精化是软件工程中的基于模型驱动开发的关键问题。本文针对环境的形式化定义,提出了一种形式化的行为模型建
15 2020-07-24 -
SPH方法学习初始
SPH初学计划,可以从这些方面开始学习。学习别人的程序了解编程
25 2019-09-21 -
工具与方法学应用
XDC约束技巧,使用进阶,
36 2018-12-07 -
面向对象方法学引论
面向对象方法学引论ppt
25 2019-01-14 -
面向对象方法学导论
面向对象方法学中的面向对象方法学导论,不错的课件哦~
24 2019-01-14 -
xlinx设计方法学
xlinx 设计方法学 为了在很短的设计时间内创建出如此复杂的系统,设计人员需要综合RTL 级的众多大型逻辑模块,还要重复使用赛灵思或第三方提供的IP 模块。考虑到设计流程的复杂性,我们应采取统称为“
34 2019-01-17 -
笨方法学ruby.
ruby\笨方法学\笨方法学
13 2020-08-23 -
learnsqlthehardway笨方法学sql
learn-sql-the-hard-way-笨方法学sql
20 2020-05-22 -
笨方法学习python
新手学习python的一本书籍,主要是通过python脚本来贯整本书籍 ,要多动手
34 2019-04-01
暂无评论