【摘 要】
：
提出了基于事务断言验证技术,用属性说明语言（Property Specification Language,PSL）描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工具控制语言来控制验证中PS
论文部分内容阅读
提出了基于事务断言验证技术,用属性说明语言（Property Specification Language,PSL）描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工具控制语言来控制验证中PSL断言的状态,使得基于PSL的断言验证可以事务的形式灵活地应用。采用该技术建立了同步数字体系（Synchronous Digitial Hierarchy,SDH）验证平台,验证了超过100万门交换芯片的功能,实践表明,该方法极大的提高了验证覆盖率和验证效率。
其他文献
火电机组协调控制常用的微分功能为一阶线性微分,该控制方式对于机组负荷变动的模式识别和微分跟踪均具有较大迟延。本文主要分析了控制系统的一阶微分和跟踪微分,对不同信号
2010年4月18日至19日农业部南京农业机械化研究所易中懿所长、曹光乔处长一行到四川省农业机械研究设计院进行调研和视察一调研主要内容为：了解四川农业机械化学科建设、科研
新能源汽车比较于传统燃油车新能源汽车具有环保节约资源、政府政策和帮助了消费者省钱省力等优点,但现阶段来说,仍然有诸多类似于车辆生产技术和成本的问题阻碍着新能源汽车
硫酸铵不能与碳酸氢铵、氨水．草木灰和窑灰钾肥混施。
为了增加MCUIP核的DSP功能，提出把带有FIFO的FIR滤波器嵌入到MCU中，使MCU进行FIR运算的同时，也可以进行控制功能的操作。详细的给出了FIR设计实现方法以及如何把FIR嵌入到MCU中
昭通市"三品"认证和证后监管工作起步晚、基础差,但为确保昭通市群众"米袋子"、"菜篮子"的安全,配合国家、省、市放心食品工程的实施和无公害食品行动计划,根据农产品生产经
1普洱茶的概念普洱茶是云南特有的历史名茶。是以云南原产地的大叶种晒青毛茶为原料经自然漫长后发酵或人为快速发酵加工而成的产品。也就是我们现在市场俗称的生普和熟普，型
根据云南省农业科学院与韩国庆尚北道农科院的合作协议内容，云南省农业科学院园艺所、高山所与庆尚北道农科院星洲国蔬研究所就“中、韩草莓合作育种及种苗繁育技术体系研究”
介绍了一种基于GPS和GSM的短消息的危险化学品运输车辆定位监控系统,由车载终端、通信子系统、监控中心组成,并给出了系统方案和软、硬件实现方法。
从气候与多元化农业发展的关系,从新品种的引入、试验、推广3个过程与当地气候特点之间的关系进行充分论述,提出在农业产业结构调整中,往往容易忽视气候因素。指出了顺应当地