【摘 要】
：
本文综述SOC的功能验证方法.分析了当前验证方法的不能适应SOC的验证要求.同时说明形式化验证的优点和缺点和混合验证方法的发展.简要介绍系统级设计语言SystemC和OVL验证库.指出利用Verilog语言的PLI,研究用C++把模型检验、定理证明、模拟等验证方法有机的结合起来,把混合验证方法的研究同具体领域的芯片系统的研制结合起来,将是解决SOC验证问题的有希望的途径.
【机 构】
：
西安邮电学院ASIC设计中心(西安)
【出 处】
：
企业信息化高级论坛全国第12届CAD/CG学术会议
论文部分内容阅读
本文综述SOC的功能验证方法.分析了当前验证方法的不能适应SOC的验证要求.同时说明形式化验证的优点和缺点和混合验证方法的发展.简要介绍系统级设计语言SystemC和OVL验证库.指出利用Verilog语言的PLI,研究用C++把模型检验、定理证明、模拟等验证方法有机的结合起来,把混合验证方法的研究同具体领域的芯片系统的研制结合起来,将是解决SOC验证问题的有希望的途径.
其他文献
依托MIS网络系统平台,通过DCS系统获取生产实时数据,开发应用了耗差分析系统软件.主要实现了耗差分析、系统图、实时趋势图、棒图分析、历史趋势、小指标竞赛自动在线考核等功能.该软件的开发应用改变了运行人员的习惯性操作,实时提醒运行人员进行经济性操作,提高了设备节能降耗潜力的分析水平,能及时挖掘设备的节能潜力,为设备进行节能技术改造提供了定量分析的依据.该软件应用后,比习惯性操作降低供电煤2g/kW
国电宁夏石嘴山发电有限责任公司引风机裕量过大,电耗高,风机运行效率低,经降速改造后,风机运行效率提高,节电效果显著,达到预期目标,改造取得成功.
针对大坝发电厂300MW汽轮发电机组振动保护逻辑进行分析,并对国内300MW汽轮机组振动保护投入情况进行了调查,运用概率论对国内常采用的几种振动保护逻辑方案的误动、拒动概率进行了对比论证,就如何通过改进振动保护逻辑,提高汽轮机振动保护系统的可靠性提出了比较完善的方案,在实际应用中取得了明显的效果.
目的:探讨酶抑制法的最佳实验条件,建立一套简便、快速、灵敏、经济的蔬果农残检测方法.方法:采用农药残留快速检验仪直接测定蔬果中残留农药对乙酰胆碱酯酶的抑制率.结果:在一定的反应条件下,酶抑制法结果可靠准确,灵敏度高,重现性好,对敌敌畏、呋喃丹的检出限可达到0.002ug/ml,对农地乐的相对标准偏差为1.54﹪(n=10).结论:酶抑制法是目前检测蔬果中农药残留毒性的一种快速有效的筛检方法.
用SUPELCO Supeclean TM ENVI-18SPE tubes lgm/6ml柱体积,对杀菌剂易保中Farmoxate固相萃取方法进行了研究,用乙腈合水作为洗脱剂,用HPLC来定量.添加回收浓度4,40,200μg.L-1,其回收率在94.93﹪~103.5﹪.
本文建立了水果中甲胺磷等有机磷和克百威等氨基甲酸酯类农药残毒快速检测方法.本方法适用于苹果、梨、桃、李子、葡萄中敌敌畏等13种有机磷和氨基甲酸酯类农药残毒快速检测.
以紫外光(λ=254nm)为光源,研究了氰氟草酯及其活性代谢产物ACID在不同介质水溶液中的光化学降解.在紫外光下,氰氟草酯及ACID在pH5.0的缓冲溶液和去离子水中易发生光解,半衰期约4~6min,丙酮的存在对氰氟草酯及ACID的光解有延缓作用.通过GC-MS和标样法鉴定了氰氟草酯及ACID光解后的部分光解产物,从而推测了可能的光解途径.
本文对石嘴山电厂4×300MW扩建工程运煤方案优化进行了研究。文章围绕交通概况、运煤费用的构成、运煤方式、经济比较等环节进行了论述。
"软件示波器"是用户对复旦大学近期研制的"并行与分布式计算机监测系统MSNAT"的一种通俗称呼.它相当确切地反映了该监测系统对于复杂软件运行时分析的功效.它采用了基于事件驱动的、硬软件混合监测技术,可视化界面使它方便地支持动态分析的方法.本文介绍其基本原理和应用方法,以及应用实例.
基于最少谓词思想的路径生成方法得到广泛的认可,但其实现方法的不同同样会影响路径的可达效果.本文在简单了解了基于控制流的最少谓词路径构造后,主要介绍基于数据流信息的,具体应用基本程序切片技术来生成可达路径方法,该方法可生成几乎有最少谓词的路径,有较好效果.