基于SystemVerilog的验证平台建模技术

来源 :现代电子技术 | 被引量 : 0次 | 上传用户:keximi9
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了SystemVerilog在进行同步FIFO验证平台建模时所采用的面向对象思想、多线程、接口、邮箱、时钟块等新技术以及建立验证平台的一般原则和技巧,实现了分层设计和验证过程中的自动监测。
其他文献
船舶锚系结构的改进设计需要考虑原船锚泊设计方案,在尽可能少的改动下,满足入级船级社和国际公认标准的要求,但根据现有船舶入级规范改进设计锚系结构时,规范对计算方法并没有要
为了提高H.264算法的效率,在对各种模式进行统计分析的基础上,针对SKIP模式,提出一种将SKIP模式与inter16×16模式的率失真代价进行比较的快速判决算法;针对inter8×8模式
医院急诊是抢救危、急、重病人的重要阵地,而急诊护理工作是一项高风险的职业。本文将降低护理风险的防范措施对策进行了总结,为以后的护理工作提供理论基础。
中国造船工程学会修船技术学术委员会“航海导航修理学组成立大会暨首届学术研讨会”于2012年12月7日在九江市召开。共有27个单位51名代表参加会议。海军工程大学电气工程学
微软全球资深副总裁张亚勤博士在博鳌亚洲论坛接受了专访,对于微软即将推出的最新版本操作系统Windows7,张亚勤表示,除了功能强大之外,盗版Windows7会越来越难。
近日,浙江省质量技术监督检测研究院获得国家质量监督检验检疫总局批复:同意筹建国家预包装食品质量监督检验中心。
为了转发水质监测数据,采用新型的1T周期单片机STC10F04EX为控制核心,将双4选1模拟开关4052的2个公用端与单片机的RxD、TxD端连接,通过分时连通的方式,对单片机的UART进
介绍FIR滤波器的FFT快速算法实现方法,推导了FIR数字滤波器的频域直接计算H(k)的计算公式,并进行分析与讨论。根据实际应用需要的滤波器的技术指标,以一个多带FIR线性相位数字虑波
在2014年度,新基杜公司取得了一个丰收年:销售收入增长19%,达到3090万欧元。该公司将这一成就的取得,归功于“创新带来的持续发展,订单的不断增加,以及进军新的领域”。新基杜