论文部分内容阅读
针对超大规模集成电路设计验证的复杂性，以多口以太网交换控制电路为验证对象，分析了高级验证语言的特点，研究了验证策略，设计了验证平台，实现了复杂电路的功能验证。验证结果表明，采用高级验证语言构建验证平台可有效地缩短验证周期、降低验证成本和提高验证质量。
交换控制电路功能验证平台设计
【摘 要】
：
针对超大规模集成电路设计验证的复杂性，以多口以太网交换控制电路为验证对象，分析了高级验证语言的特点，研究了验证策略，设计了验证平台，实现了复杂电路的功能验证。验证结果表明
【机 构】
：
华东计算技术研究所
【出 处】
：
计算机工程
【发表日期】
：
2006年16期
其他文献
由于每种检测手段都有各自的优缺点,任何一种单独的检测手段或方式都不能够检测出所有的入侵行为.为了弥补这些缺陷和不足,该文提出了一种基于系统呼叫和网络数据包的两层入
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
介绍了一种基于PCI总线的雷达数据采集及定时板的设计方案，该设计把数据采集控制、发射机定时及接收机控制等集于一块FPGA芯片中实现，具有设计简单，可靠性高等优点。该设计已经
多环芳烃（PAHs）主要来源于有机物热解或不完全燃烧，是一类广泛存在于自然环境中，具有致癌性和致突变性的持久性有机污染物，近年来，PAHs在河流、湖泊、海域等水体中被相继检出，引发严