分享到:

EDA中高层次综合算法及两种时序综合理论比较研究

IC(Integrated Circuit)技术飞速发展,目前己处于GSI阶段,正向SOC(System On a Chip)发展,IC的应用范围极广。关于IC的设计、测试、模拟、仿真已形成实用化的集成工具,如VHDL语言。但是,在IC的发展过程中遇到了很多理论与技术问题。本文正是从理论研究角度入手,结合计算复杂性理论,对EDA中的两个重要环节,高层次综合和逻辑综合中的时序处理,做了深入研究,给出了两个理论结果和两个算法。正如文中所指出的那样,绝大多数组合与时序优化问题,实际上都是NP-完全问题,因而试图给出现实可行的一劳永逸的通用算法在目前是办不到的。所以,大多数研究者均是从自身的角度出发,研究各种各样的启发式算法,然而算法效果如何,针对EDA中各个环节目前尚无人提出统一标准来做判断分析。本文在继承前人工作的基础上,将最基本也是最重要的图灵机模型及其依据于此的计算复杂性理论的若干重要概念与思想引入到EDA中的高层次综合和逻辑综  (本文共115页) 本文目录 | 阅读全文>>

《计算机学报》2000年11期
计算机学报

布尔过程论的实验研究

布尔过程论是 1994年提出的一种高速电路设计与测试分析理论 ,是布尔代数在时域中的扩充 ,适用于 IC定时研究与分析 .但布尔过程论的实践可行性受到一些国际同行的质疑 ,该文的工...  (本文共5页) 阅读全文>>

哈尔滨工程大学
哈尔滨工程大学

布尔过程论及其在复杂高速芯片设计自动化应用中的研究

芯片设计的日趋复杂化和高速化对设计自动化的理论和方法提出了新的要求。布尔过程论是适应这种要求而提出的新的理论,本文以布尔过程论为理论基础,对该理论进行了拓展,探讨了该理论在复杂高速芯片设计自动化中的应用,在芯片定时、测试生成、验证和综合基础研究方面提出了几个基于该理论的自动化设计的新方法和新算法。论文首先拓展了布尔过程的理论,提出了以下新的概念、定理、理论模型和数据结构。波形多项式偏导和高阶偏导的新概念,用来精确描述输出跳变与输入跳变之间的关系,并在本文中用来重新定义了电路的敏化和冒险;波形多项式向量的概念,用于形式化描述实际中的多输入多输出的电路,特别是用于统一描述电路模块的功能及定时行为;时序电路的敏化定理,用于时序电路精确定时分析;波形多项式描述跳变及跳变数的定理,用于噪声、功耗等问题的描述;时序电路的完整波形多项式描述,用于时序电路功能和定时行为的统一描述;波形多项式的多项式符号表示和运算的模型以及数据结构,用来实现对波...  (本文共121页) 本文目录 | 阅读全文>>

湖南大学
湖南大学

基于布尔过程论的波形空间以及分段插入排序算法研究

近些年来,随着电子电路的高速化和大规模集成化,布尔代数作为描述数字电路的逻辑行为的工具,越来越显示其不足.布尔过程论就是在这种情况下产生的,这一概念是在1994年由中科院计算所闵应骅研究员首次提出的。它将布尔代数与时间结合起来,为异步性描述提供了比较形式的理论基础,并在通路敏化、电源消耗的计算、动态电流测试方法(I_(DDT))、时延故障诊断等方面取得了实质性的进展。本文将现代数学方法应用于布尔过程论,把该理论提升了一个高度,对布尔过程论理论的发展和应用起了一定的促进作用。对数字信号波形定义了距离、极限和连续性的概念,以期在数字电路中找到某些连续性。主要表现在:定义了波形空间;在波形空间中定义了与实际问题相符合的距离,极限,延迟算子;运用布尔运算推导出了波形空间是Banach空间;波形的极限和差分的定义反映了电路中的通路敏化;推导出了波形空间中常见波形运算的逆运算或广义逆运算及其在电路中的性质并在通路敏化方面得到了一些应用。作为...  (本文共57页) 本文目录 | 阅读全文>>

《计算机研究与发展》2001年10期
计算机研究与发展

基于布尔过程论的层次化延时分析方法

芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求 .电路的延时不仅与电路的拓扑结构有关 ,而且还与电路的逻辑功能及输入都有密切的关系 .采用 Boole过程论这种统一描述数字电路的逻辑...  (本文共7页) 阅读全文>>

《计算机学报》1960年80期
计算机学报

布尔过程在通路敏化中的应用

对高性能数字电路来说,定时(Timing)的研究与分析是非常重要的.新近提出的布尔过程是定时分析的有效的理论工具,它将电路的逻辑关系和定时关系统一地表示在一个表达式中....  (本文共8页) 阅读全文>>