基于交易级建模的ATA控制器功能验证方法研究
交易级建模技术适用于构建大规模电路系统的功能验证平台.结合C++天生的类继承机制和SystemC的接口通道机制,基于该建模技术的ATA控制器验证平台成功实现了随机化的交易级验证,降低了设计模块间通信的复杂度,结构上具有良好的可扩展性和可重用性.着重阐述该验证平台中抽象通道与适配器的通用设计方法,提出了一种基于面向对象技术的创新的验证平台设计模式,并分析了交易级建模和RTL建模之间的区别以及交易级建模技术在提高验证效率上的优势.
交易级建模、功能验证、设计模式、重用性、覆盖率
29
TN407(微电子学、集成电路(IC))
国家自然科学基金60603049
2008-05-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
261-263,273