用PSL语言进行基于断言的验证方法被引量：1

Assertion Based Verification with PSL

下载PDF

导出

摘要本文介绍了如何用PSL语言进行基于断言的仿真和形式验证。这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间。

作者杨晓峰林涛

机构地区同济大学超大规模集成电路研究所

出处《电子设计应用》 2005年第12期89-90,共2页 Electronic Design & Application World

关键词 ABV 属性描述语言寄存器传输级

同被引文献1

1徐盛,章玮,金钊.基于断言的验证方法在总线协议验证中的应用[J].电子设计应用,2006(11):88-90. 被引量：11
2郭建.片上系统的模型检验[J].现代电子技术,2005,28(14):95-97. 被引量：2
3李洋洋,吴武臣,王龙伟,王宁,侯立刚.基于断言的验证方法在UART模块中的应用研究[J].微电子学与计算机,2010,27(1):151-153. 被引量：7
4韩晓非,王学光,杨明福.位并行数据包分类算法研究[J].华东理工大学学报（自然科学版）,2003,29(5):504-508. 被引量：4
5李双庆,左建勋,路遥.基于ABV的BT流量识别与分类[J].计算机应用,2007,27(B06):166-167. 被引量：1
6徐海斌.给你一个最酷的鼠标菜单播放器[J].电脑爱好者,2003(19):36-37.
7党小超,李焱,李学军.一种基于ABV的IPV6快速路由查找算法[J].兰州大学学报（自然科学版）,2006,42(2):92-95.
8董杨鑫,郑建宏.基于断言的SoC设计验证方法[J].电子测试,2007,18(9):52-55. 被引量：2
9刘洪锦,姚荣.存储系统功能验证方法浅析[J].计算机工程,2004,30(B12):457-459.
10李忠孝,申敏.SVA在层次化验证平台中的应用[J].电子测试,2009,20(5):65-69.

电子设计应用

2005年第12期