论文部分内容阅读
在需要重新流片的芯片中，有80％的案例是因为逻辑设计中存在功能性缺陷。这些缺陷可能是由于验证没有覆盖到边界情况导致的。Systcm Verilog基于断言的验证技术是一种将断言、功能覆盖率和形式化模型检查相结合的验证技术，它超越了基于仿真的验证，提高了验证的可观察性和设计的可控性。
SystemVerilog基于断言的验证技术
【摘 要】
：
在需要重新流片的芯片中，有80％的案例是因为逻辑设计中存在功能性缺陷。这些缺陷可能是由于验证没有覆盖到边界情况导致的。Systcm Verilog基于断言的验证技术是一种将断言、功
【机 构】
：
西南交通大学信息科学与技术学院，四川 成都 610031
【出 处】
：
2006年全国信息、电子与控制技术学术会议(IECT'2006)
【发表日期】
：
2006年期
其他文献
针对设计可复用的面向对象软件的复杂性，软件设计专家们根据以往在不同系统中多次使用过的成功设计经验，在抽象的层次归纳出一系列一般软件设计问题的解决方案，即设计模式。网络
本文介绍了当前船闸管理思想政治工作面临的问题,提出基于“以人为本”理念,探索全新的思想政治工作开展方式;结合工作实际和职工合理诉求,以行动促“进步”;进一步发挥党员
本文以环境监测系统为例，通过对标准TCP/IP的详细分析，并结合微控制器的特点，提出了一种构建基于8位微控制器的嵌入式Internet解决方案。随后详细描述了整个系统的设计原理，重点
ELF文件是一种结构复杂、功能强大的文件格式。在对ELF格式文件结构深入分析的基础上，设计了对ELF格式文件进行操作和更改的程序，并对程序的关键算法进行了分析设计。
介绍了基于ARM9微处理器和μC/OS-Ⅱ的UDP网络传输模块的设计和其在雷达通信中的应用。该嵌入式模块采用实时多任务操作系统μC/OS-Ⅱ，实现了雷达系统中PC主控机和信号处理/发
会议
随着无线通信的快速发展和嵌入式系统在通信领域日益发挥重要作用，本文结合StarEast平台讲述嵌入式系统的开发理论、方法和流程，主要包括系统引导程序RedBoot的建立和SnapGear
介绍了模拟电路故障诊断的现状及特点，对基于网络撕裂法的故障诊断方法进行了研究，探讨了基于BP神经网络的故障诊断方法及其在模拟电路上的应用，并指出了故障诊断技术的发展趋势
自国家持续建设与发展以来,如何减轻政府财政压力,引入国内乃至国际社会资源,助推我国可持续发展,成为当今社会需探讨与解决热点问题之一.其中,PPP模式作为将社会资本与政府