论文部分内容阅读
本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。
面向SOC设计的混合验证方法及其应用
【摘 要】
：
本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。
【机 构】
：
北京交通大学电子信息工程学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2006年6期
其他文献
计算机技术大多来自于母语为英语的国家（尤其是美国）。学习计算机的人，尤其是初学者，就应该努力去读计算机原版教材。文中给出了初学者多读计算机原版教材的原因、好处以及应该注