YHFT-DX处理器模拟验证自动化

摘要：

模拟验证是设计验证必备的最基本、最常用的验证方法,本文结合协同模拟、断言和自检等验证技术实现了YHFT-DX处理器的模拟验证自动化,有效降低了验证工作的复杂度,提高了验证的效率和质量.

关键词： 验证自动化 协同模拟 自检 断言

作者: 杨唤荣 刘胜 李勇 孙永节

作者单位: 国防科技大学计算机学院 长沙 410073

会议类型: 国内会议

会议名称: 第十三届计算机工程与工艺会议(NCCET09’)

会议地点: 西安

会议语种:中文

页码: 391-393

在线出版日期: 2009-08-17（万方平台首次上网日期，不代表论文的发表时间）