论文部分内容阅读
阐述系统芯片(SOC)的设计验证特点.综述目前流行的验证方法,指出所存在的问题.论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势.
系统芯片的混合验证方法
【摘 要】
：
阐述系统芯片(SOC)的设计验证特点.综述目前流行的验证方法,指出所存在的问题.论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势.
【机 构】
：
西安邮电学院计算机系
【出 处】
：
西安邮电学院学报
【发表日期】
：
2002年1期
其他文献
由信息焖定义出发，结合量子力学态失特性，首次提出多粒子体系纯态纠缠态的构成方法，并结出纠缠度的定义，然后以自旋为1/2两粒子为例，给出任意态下纠缠度的计算。
针对PCB仿真模型预购难求,PCB仿真难以实现的情况,本文提出并实现了一种基于用户规则的PCB板级后验证系统.本系统以芯片外围电路设计规则为主体建立器件规则库,在规则容易获
移动运营商的ARPU值是指每个移动用户每年或每月的平均移动通信消费额,是反映移动通信企业运营效益的一个重要指标,因而成为移动运营商和投资商都关注的焦点.本文探讨了移动
流媒体技术发展日新月异,本文首先对JMF技术做了简要的介绍,然后系统的介绍和分析了如何应用JMF技术实现流媒体格式转换.