论文部分内容阅读
阐述系统芯片(SOC)的设计验证特点.综述目前流行的验证方法,指出所存在的问题.论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势.
系统芯片的混合验证方法
【摘 要】
：
阐述系统芯片(SOC)的设计验证特点.综述目前流行的验证方法,指出所存在的问题.论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势.
【机 构】
：
西安邮电学院计算机系
【出 处】
：
西安邮电学院学报
【发表日期】
：
2002年1期
其他文献
由信息焖定义出发，结合量子力学态失特性，首次提出多粒子体系纯态纠缠态的构成方法，并结出纠缠度的定义，然后以自旋为1/2两粒子为例，给出任意态下纠缠度的计算。
针对PCB仿真模型预购难求,PCB仿真难以实现的情况,本文提出并实现了一种基于用户规则的PCB板级后验证系统.本系统以芯片外围电路设计规则为主体建立器件规则库,在规则容易获
一、创造、维护社会公正 ,是新时期改善党的领导的首要问题创造、维护社会公正 ,是新时期改善党的领导的首要问题 ,其理由主要有以下三个方面 :(一 )经济基础条件的客观要求
期刊
关于我国“九五”时期经济立法工作的几个问题姜秀昶党的十四届五中全会通过的《中共中央关于制定国民经济和社会发展＂九五＂计划和２０１０年远景目标的建议》，提出了今后１５年来我国经济和
邵朝教授，陕西省富平县人，生于1955年4月10日。工学博士，西安邮电学院硕士生导师。1982年元月毕业于西安交通大学数学系，概率统计专业，获理学学士学位。1991年3月毕业于西安电子科
强化基层组织建设夯实综合治理根基吕盛昌，杨文生近几年来，我市在抓社会治安综合治理方面，想实招、鼓实劲、办事实，特别是抓了基层组织建设，形成了以基层党组织为核心，以乡镇综治办
移动运营商的ARPU值是指每个移动用户每年或每月的平均移动通信消费额,是反映移动通信企业运营效益的一个重要指标,因而成为移动运营商和投资商都关注的焦点.本文探讨了移动
流媒体技术发展日新月异,本文首先对JMF技术做了简要的介绍,然后系统的介绍和分析了如何应用JMF技术实现流媒体格式转换.