10.3969/j.issn.1007-3264.2005.03.021
SOC的形式化验证方法
如何对片上系统(SOC)来进行验证,是一个比较复杂的问题.本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法.最后给出了对SOC验证的一般方法.
片上系统、形式化验证、等价性验证、模型检验
10
TP302(计算技术、计算机技术)
国家自然科学基金90207015
2005-08-11(万方平台首次上网日期,不代表论文的发表时间)
共5页
79-82,87