10.3969/j.issn.1000-3428.2006.16.096
交换控制电路功能验证平台设计
针对超大规模集成电路设计验证的复杂性,以多口以太网交换控制电路为验证对象,分析了高级验证语言的特点,研究了验证策略,设计了验证平台,实现了复杂电路的功能验证.验证结果表明,采用高级验证语言构建验证平台可有效地缩短验证周期、降低验证成本和提高验证质量.
功能验证、交换控制电路、验证语言、验证对象
32
TP273(自动化技术及设备)
2006-09-13(万方平台首次上网日期,不代表论文的发表时间)
共3页
250-252