[1]左航 金玉丰.一种基于Vera的集成电路建模验证方法[J].计算机技术与发展,2007,(01):94-97.
　ZUO Hang,JIN Yu-feng.A Vera Modeling Verification Method in Integrated Circuit[J].,2007,(01):94-97.
点击复制

一种基于Vera的集成电路建模验证方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2007年01期
页码:
94-97
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
A Vera Modeling Verification Method in Integrated Circuit
文章编号:
1673-629X（2007）01-0094-04
作者:
左航1 金玉丰2
[1]北京大学深圳研究生院[2]北京大学微电子所
Author(s):
ZUO Hang ; JIN Yu-feng
[1]Shenzhen Graduate School, Peking University[2]Institute of Microelectronics, Peking University
关键词:
数字集成电路; 仿真; Vera; 参考模型; RM
Keywords:
digital circuit ;  simulation;  Vera;  reference model ;  RM
分类号:
TN402
文献标志码:
A
摘要:
随着数字逻辑设计越来越复杂，验证的难度也越来越大。根据一款以太网交换芯片的项目完成所总结的经验，提出了一种基于Vera的电路行为级建模的验证方法。实验结果表明，这种验证方法可以方便地进行RTL和参考模型的联合仿真，并能最大限度地提高验证覆盖率．有效地减少验证工作量和缩短验证时间
Abstract:
Along with the increment of complexity in digital ASIC design; there are more and more difficulties in verification of the HDL design. According to a kind of Ethemet exchange chip program, gives a modeling verification method, which is based on OpenVera language. It has been proved that this method can make the combined simulation of RTL and reference model conveniently, improve the recovery rate,reduce the task and shorten the time of test and verify effectively

相似文献/References:

[1]朱卫未 陈文惠 杨杰[].基于动态系统仿真的U盘病毒的传播形状分析[J].计算机技术与发展,2010,(01):167.
　ZHU Wei-wei,CHEN Wen-hui,YANG Jie[].Propagation Characters Analysis of USB-Disk Virus Based on Dynamic System Simulation[J].,2010,(01):167.
[2]田翠华 于天放 刘革.基于Agent技术的交通流仿真研究[J].计算机技术与发展,2010,(02):233.
　TIAN Cui-hua,YU Tian-fang,LIU Ge.Research on Traffic Flow Simulation Based on Agent Technology[J].,2010,(01):233.
[3]靳建平 杨红雨.基于UDP的可靠数据传输协议仿真研究[J].计算机技术与发展,2010,(05):1.
　JIN Jian-ping,YANG Hong-yu.Simulation and Research on UDP-Based Data Transfer Protocol[J].,2010,(01):1.
[4]叶晓国 肖甫 孙力娟 王汝传.基于NS-2的航空器通信仿真模块的设计与实现[J].计算机技术与发展,2009,(07):28.
　YE Xiao-guo,XIAO Fu,SUN Li-juan,et al.Design and Implementation of Aircraft Communication Simulation Module Based on NS- 2[J].,2009,(01):28.
[5]袁森 肖军 罗卫东.空气悬架的ADAMS建模研究[J].计算机技术与发展,2009,(08):228.
　YUAN Sen,XIAO Jun,LUO Wei-dong.Study of the Air Suspension Model Based on ADAMS[J].,2009,(01):228.
[6]王晓敏 刘希玉 戴芬.BP神经网络预测算法的改进及应用[J].计算机技术与发展,2009,(11):64.
　WANG Xiao-min,LIU Xi-yu,DAI Fen.Improvement and Application of BP Neural Network Forecasting Algorithm[J].,2009,(01):64.
[7]丁蕾 方木云 甘丽.有向双环网和无向双环网直径规律的对比[J].计算机技术与发展,2009,(04):80.
　DING Lei,FANG Mu-yun,GAN Li.Compare Diameters of Directed and Undirected Double Loop Networks[J].,2009,(01):80.
[8]许春霞 姜浩.基于随机Petri网的工作流仿真[J].计算机技术与发展,2009,(04):87.
　XU Chun-xia,JIANG Hao.Workflow Simulation Based on Stochastic Petri Net[J].,2009,(01):87.
[9]于东超 耿祥义 刘泮青.5vs5仿真机器人足球比赛——防守算法研究[J].计算机技术与发展,2008,(02):59.
　YU Dong-chao,GENG Xiang-yi,LIU Pan-qing.5vs5 Simulation Robot Soccer Competition： Defence Algorithm Research[J].,2008,(01):59.
[10]丁晓贵 刘桂江.基于PIDNN的污水处理系统参数辨识研究[J].计算机技术与发展,2008,(05):200.
　DING Xiao-gui,LIU Gui-jiang.Study on Identification Parameters of Wastewater Treatment System Based on PIDNN[J].,2008,(01):200.

备注/Memo

备注/Memo:
致谢 本项目的完成得益于深圳市国微通讯有限公司提供的全方位的软件平台和硬件设施,同时也得到了该公司ASIC设计部项目组组长唐炎和崔松叶工程师的精心指导,在此谨致谢忱左航（1979-），男，湖北黄石人，硕士研究生，主要研究方向为ASIC验证；金玉丰，教授，主要研究方向为微电子技术和微系统技术
更新日期/Last Update: 1900-01-01