【摘 要】
：
CDFG是在综合中比较常用的行为描述的中间表示方式.近来,在系统级芯片SOC中很多软/硬件划分和形式验证也使用CDFG作为行为描述的中间表示方式.本文介绍了一种面向SOC设计的层次化COFG格式,并且给出了严格的定义.这种层次化的CDFG格式在以往的CDFG上进行了扩充,允许使用者定义层次化CDFG,并且给出了层次化CDFG的标准控制结构.文中还提出了CDFG的形态树的概念,这将对准确地理解CDF
【机 构】
：
清华大学计算机科学与技术系(北京)
【出 处】
：
企业信息化高级论坛全国第12届CAD/CG学术会议
论文部分内容阅读
CDFG是在综合中比较常用的行为描述的中间表示方式.近来,在系统级芯片SOC中很多软/硬件划分和形式验证也使用CDFG作为行为描述的中间表示方式.本文介绍了一种面向SOC设计的层次化COFG格式,并且给出了严格的定义.这种层次化的CDFG格式在以往的CDFG上进行了扩充,允许使用者定义层次化CDFG,并且给出了层次化CDFG的标准控制结构.文中还提出了CDFG的形态树的概念,这将对准确地理解CDFG又很大的帮助.层次化CDFG致力于尽可能忠实地体现行为描述的内容,有利于高层次SOC设计的使用,同时也顾及了从C或VHDL等行为描述语言到层次化CDFG的转化.
其他文献
目的:探讨酶抑制法的最佳实验条件,建立一套简便、快速、灵敏、经济的蔬果农残检测方法.方法:采用农药残留快速检验仪直接测定蔬果中残留农药对乙酰胆碱酯酶的抑制率.结果:在一定的反应条件下,酶抑制法结果可靠准确,灵敏度高,重现性好,对敌敌畏、呋喃丹的检出限可达到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"的一种通俗称呼.它相当确切地反映了该监测系统对于复杂软件运行时分析的功效.它采用了基于事件驱动的、硬软件混合监测技术,可视化界面使它方便地支持动态分析的方法.本文介绍其基本原理和应用方法,以及应用实例.
基于最少谓词思想的路径生成方法得到广泛的认可,但其实现方法的不同同样会影响路径的可达效果.本文在简单了解了基于控制流的最少谓词路径构造后,主要介绍基于数据流信息的,具体应用基本程序切片技术来生成可达路径方法,该方法可生成几乎有最少谓词的路径,有较好效果.
本文综述SOC的功能验证方法.分析了当前验证方法的不能适应SOC的验证要求.同时说明形式化验证的优点和缺点和混合验证方法的发展.简要介绍系统级设计语言SystemC和OVL验证库.指出利用Verilog语言的PLI,研究用C++把模型检验、定理证明、模拟等验证方法有机的结合起来,把混合验证方法的研究同具体领域的芯片系统的研制结合起来,将是解决SOC验证问题的有希望的途径.
降低测试期间的功耗是当前学术界和工业界新出现的一个研究领域.在可测试性设计中进行功耗优化的主要原因是数字系统在测试方式的功耗比在系统正常工作方式高很多.测试功耗会引发成本增加,可靠性降低,成品率下降.文中首先介绍低功耗测试技术中的基本概念和功耗建模方法,分析测试过程中功耗升高的原因,对已有的几种主要的降低测试功耗方法进行详细分析,最后指出低功耗测试技术的发展趋势和应解决的若干问题.
迁移关系的构建是基于BDD模型检验中一个重要环节,而建立一个占内存尽可能小的关系一直是一个挑战,通常的做法是对迁移关系进行分割,本文提出了一种的对分割后的迁移关系进行分组的规则,通过对ISCAS-89中时序电路的试验表明该方法对其中部分电路是有效可行的.