-
题名总线事务级验证模型仿真性能研究
- 1
-
-
作者
周萌
刘恺
高松涛
邱善勤
-
机构
工业和信息化部软件与集成电路促进中心
-
出处
《中国集成电路》
2013年第8期23-27,51,共6页
-
文摘
系统芯片的功能验证一直是芯片设计中最具挑战性的部分。基于事务的验证方法学被用来解决功能验证中的困难。该方法学通过提高验证的抽象层次来降低验证复杂度。但同时也对使用该方法学构建的验证平台组件可重用性有了更高的要求。其中总线功能模型可以在验证中模拟设计中的其他模块,是构建验证平台的重要组件。本文在方法学的基础上,讨论了两种类型的总线功能模型,并给出了verilog硬件描述语言的实现模型,最后通过实验比较了两种总线功能模型的仿真性能。
-
关键词
功能验证总线功能模型事务验证平台
-
Keywords
Function Verification BFM transaction test bench
-
分类号
TN47
[电子电信—微电子学与固体电子学]
-
-
题名SoC自动化验证方法的研究与实现
被引量:4
- 2
-
-
作者
段青亚
黄士坦
靳荣利
张莎莎
苗硕
-
机构
西安微电子技术研究所研发部
-
出处
《吉林大学学报(信息科学版)》
CAS
2010年第3期231-237,共7页
-
基金
中国人民解放军总装备部预研重点基金资助项目(9140A16010407HT6902)
-
文摘
为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。
-
关键词
SOC验证
事务验证模型
SoC自动化功能验证系统
测试覆盖率
-
Keywords
system-on-chip(SoC) verification
transaction verification module
system-on-chip(SoC) automatic verification system
test coverage
-
分类号
TN47
[电子电信—微电子学与固体电子学]
-