作 者:张健 黄蓓 王玉艳 ZHANG Jian;HUANG Bei;WANG Yuyan
作者机构:华东计算技术研究所上海200233
出 版 物:《计算机工程》 (Computer Engineering)
年 卷 期:2006年第32卷第16期
页 面:250-252页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 0802[工学-机械工程] 080201[工学-机械制造及其自动化]
主 题:功能验证 交换控制电路 验证语言 验证对象
摘 要:针对超大规模集成电路设计验证的复杂性,以多口以太网交换控制电路为验证对象,分析了高级验证语言的特点,研究了验证策略,设计了验证平台,实现了复杂电路的功能验证。验证结果表明,采用高级验证语言构建验证平台可有效地缩短验证周期、降低验证成本和提高验证质量。