论文部分内容阅读
本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。
面向SOC设计的混合验证方法及其应用
【摘 要】
：
本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。
【机 构】
：
北京交通大学电子信息工程学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2006年6期
其他文献
小微企业的运营情况、信用声誉谁最了解，上海市工商联给出的答案是“基层商会”。2012年，上海市工商联开展了“一手牵银行、一手牵企业”行动，形成《建立商会、银行合作机制，推进
6万推荐：MusicalFidelity与Triangle——Musical Fidelity A5CD机＋Musical Fidelity A5合并式功放十Triangle Antal Esw落地箱
有一天偶遇一摄影师，他用一台小胆机推思奔达S3a，后来又进了一对JBL4412，觉得很过瘾，问我，如果在小房间听剧院之声大号角，感觉会是什么样的。我说，那会象整个人浸泡在大海里。又说，你
由中平能化集团公司瓦斯研究所研制的钻孔孔口除尘装置，日前通过有关部门初步验收，并得到验收专家和试用单位的一致肯定。目前，该装置已取得国家“MA”认证标志。
煤化工一期年产60万吨甲醇项目是鹤煤公司应对当前金融危机、调整产业结构、转变经济发展方式的一项重大举措。项目自开工以来，全体参建人员抢进度，保质量，保证了工程的快速推进
计算机技术大多来自于母语为英语的国家（尤其是美国）。学习计算机的人，尤其是初学者，就应该努力去读计算机原版教材。文中给出了初学者多读计算机原版教材的原因、好处以及应该注