10.3969/j.issn.1006-2475.2008.10.034
基于事务的功能验证方法及其在设计验证中的运用
介绍了基于事务的验证方法,把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率.本文主要介绍这种功能验证方法在UART设计验证中的运用及其测试平台的建立.
功能验证、事务、测试平台
TP311.52(计算技术、计算机技术)
浙江省重大科技攻关资助项目2004C17002
2008-12-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
110-112