论文部分内容阅读
本文针对SoC设计方法学中如何有效、充分的功能验证问题，首先介绍了基于断言的验证方法学的定义及其所带来的好处，然后以一种断言验证语言——OVA作为具体的应用实例，通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法，能够有效地提高验证效率。
基于断言的SoC设计验证方法
【摘 要】
：
本文针对SoC设计方法学中如何有效、充分的功能验证问题，首先介绍了基于断言的验证方法学的定义及其所带来的好处，然后以一种断言验证语言——OVA作为具体的应用实例，通过仿真说
【机 构】
：
重庆邮电大学移动通信工程研究中心
【出 处】
：
电子测试
【发表日期】
：
2007年10期
其他文献
当前基础设施建设需求与投资不足的双重压力,使得吸引社会资本投入的PPP模式获得了广泛的关注与推广。自2013年以来,我国一直在积极推动PPP模式的发展。但是PPP项目金额大、
目的探讨在产房护理管理中应用优质护理服务的效果。方法选取2014年1月至2015年12月本院收治的产妇90例,将之随机分成观察组与对照组各45例。其中,对照组产妇接受围生期常规
1趋势与挑战随着全球业界对电源效率的要求越来越高，包括ATX电源、消费类电子产品等在内的电源应用在工作与待机模式的效率面对日益严峻的挑战，以应对各国不同的节能要求。所以
本文研制一种能快速检查不同飞机、各种型号的发动机排气温度表和压力表等100多个信号的温度／压力表综合试验器。该试验器采用PCI04总线技术，实现了检测设备的综合化、数字化，它
聚丙烯腈(PAN)具有优良的化学稳定性、热稳定性以及良好的机械性能,在超滤膜的制备中得到了广泛的应用。但是聚丙烯腈分离膜表面疏水性较强,在实际使用中表现为易产生膜污染,
基于千兆以太网实现了连接在同一台计算机上的两部相机同时工作。采用一个即插即用的数据采集模块作为同步触发信号发生器,利用LabVIEW编程产生两路具有指定周期的同步脉冲信
在商用和专用无线应用中,全球定位卫星的L1波段信号最微弱。GPS接收机天线收到的信号功率通常都淹没在热噪声基底中。为成功地恢复出这些微弱信号,接收机必须具有足够高的接收灵敏度,并能抑制带外干扰。本文主要讨论在设计一个外围元件很少的低成本商用GPS接收机时应该考虑的关键系统参数。这种系统的目标接收灵敏度为-139dBm。
针对目前线束生产中多导线插件制作检测困难的问题,提出基于AT89C55的全自动线束检测装置,该装置可以自动检测多导线之间的错连、短路和断路,能自动报警,并在中文液晶屏幕上
胡锦涛总书记在十七大报告中明确提出“兴起文化建设新高潮,激发全民族文化创造活力,提高国家文化软实力,使人民基本文化权益得到更好保障,使社会文化生活更加丰富多彩,使人