检索结果-南通市图书馆

An OBDD based formal verification system

在线全文

学校读者我要写书评

暂无评论

An OBDD based formal verification system

1998 3rd International Conference on ASIC

作者： Zhiming Wang jinian bian Wangning Long Hongxi Xue Dept. of Computer Science and Technology Tsinghua University

＜正＞In this paper we present an OBDD based formal verification system for the equivalence property of logic circuits.A good OBDD variable ordering algorithm and a set of efficient tools to build and operate OBDDs are adopted in the *** results show that the system is efficient in verification of combinational circuits and combinational parts of sequential circuits.

关键词： OBDD formal verification equivalence verification combinational circuit sequential circuit

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

力驱动三维FPGA布局算法

计算机辅助设计与图形学学报 2011年第10期23卷 1665-1671页

作者：隋文涛董社勤边计年清华大学计算机科学与技术系北京100084

三维FPGA布局问题的复杂度与二维情况相比成指数倍增长,布局算法需要花费大量时间,影响了FPGA物理设计效率.为了在保证布局质量的前提下缩短布局时间,提出以线长为优化目标基于力驱动的三维FPGA布局算法——3D-WFP.该算法由整体布局、... 详细信息

三维FPGA布局问题的复杂度与二维情况相比成指数倍增长,布局算法需要花费大量时间,影响了FPGA物理设计效率.为了在保证布局质量的前提下缩短布局时间,提出以线长为优化目标基于力驱动的三维FPGA布局算法——3D-WFP.该算法由整体布局、坐标合法化和层划分、布局优化3个阶段组成,通过力驱动算法快速形成整体布局,为后续2个子过程提供更精确的逻辑单元位置和时延信息.提出三维空间填充曲线,根据位置和时延信息依次对逻辑单元按照三维空间填充曲线进行坐标合法化和层划分;修正了低温模拟退火进行布局优化的解空间,大大加快了低温模拟退火的收敛速度.与已有的三维FPGA布局算法比较,3D-WFP在保证运行时间和时延性能的前提下,有效地缩短了最终布局结果,缩短的总线长达7.38%.

关键词：布局力驱动划分模拟退火

在线全文

学校读者我要写书评

暂无评论

岛式FPGA线长驱动快速布局算法

计算机辅助设计与图形学学报 2009年第9期21卷 1275-1282页

作者：隋文涛董社勤边计年清华大学计算机科学与技术系北京100084

传统的FPGA布局算法需要花费大量时间,影响了FPGA物理设计效率.为了在保证布局质量的前提下缩短布局时间,提出一种岛式FPGA快速布局算法.首先考虑终端传输的迭代二划分,然后进行最小费用流初始布局和低温模拟退火的布局优化.在每一个划... 详细信息

传统的FPGA布局算法需要花费大量时间,影响了FPGA物理设计效率.为了在保证布局质量的前提下缩短布局时间,提出一种岛式FPGA快速布局算法.首先考虑终端传输的迭代二划分,然后进行最小费用流初始布局和低温模拟退火的布局优化.在每一个划分层次中,考虑了线网的终端对线网权重的影响;对于每一个划分的区域,使用最小费用流来确定初始的布局;在布局的最后阶段使用低温模拟退火来提高初始布局的质量.实验结果表明,该算法布局结果的质量高、速度快.

关键词：布局划分最小费用流低温模拟退火

在线全文

学校读者我要写书评

暂无评论

考虑热效应的资源数量分配算法

计算机辅助设计与图形学学报 2009年第9期21卷 1257-1263页

作者：于浚泊周强边计年清华大学计算机科学与技术系北京100084

芯片上局部的高温对集成电路有很多负面影响.目前已有的行为级综合算法只是在资源绑定阶段降低峰值温度,忽视了资源数量分配阶段对峰值温度的影响.为此,提出一种资源数量分配算法,根据前一个综合结果的功耗密度以及经热分析得到的温度... 详细信息

芯片上局部的高温对集成电路有很多负面影响.目前已有的行为级综合算法只是在资源绑定阶段降低峰值温度,忽视了资源数量分配阶段对峰值温度的影响.为此,提出一种资源数量分配算法,根据前一个综合结果的功耗密度以及经热分析得到的温度反馈调整各种资源的使用量,使不同种类资源间的功耗密度接近平均分布,从而达到降低峰值温度的效果.实验结果表明,该算法在增加2.0%面积的情况下能平均降低峰值温度9.4℃.

关键词：行为级综合资源数量分配峰值温度二分搜索

在线全文

学校读者我要写书评

暂无评论

基于CDFG和OVL的系统验证性质分类

计算机工程 2005年第10期31卷 48-50页

作者：朱明边计年吴为民清华大学计算机系设计自动化实验室北京100084

在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实... 详细信息

在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。

关键词：模拟形式验证性质模型检测数据控制流图

在线全文

学校读者我要写书评

暂无评论

高层次综合中面向功耗优化的方法与技术

计算机辅助设计与图形学学报 2007年第11期19卷 1373-1380页

作者：刘志鹏边计年周强清华大学计算机科学与技术系北京100084

介绍了高层次综合阶段面向电路功耗的主要优化方法及其研究进展.集成电路设计制造工艺的持续发展使得电路功耗逐步超越了原有的面积、时延等指标,一举成为设计的主导因素.研究表明:集成电路设计层次越高,对电路功耗的优化潜力也就越大,... 详细信息

介绍了高层次综合阶段面向电路功耗的主要优化方法及其研究进展.集成电路设计制造工艺的持续发展使得电路功耗逐步超越了原有的面积、时延等指标,一举成为设计的主导因素.研究表明:集成电路设计层次越高,对电路功耗的优化潜力也就越大,这就要求设计人员在高层次综合阶段即开始考虑对功耗进行有效的降低和优化.对本领域具有代表性的算法进行了系统的描述,并且对这些算法的基本思路进行了相应的分析和总结.

关键词：高层次综合低功耗开关频度热密度

在线全文

学校读者我要写书评

暂无评论

层次式FPGA快速布局算法

计算机辅助设计与图形学学报 2010年第9期22卷 1455-1462页

作者：戴晖周强边计年曾祥智清华大学计算机科学与技术系北京100084 北京联发科技有限公司北京100080

随着现代FPGA规模与结构迅速发展,对FPGA物理设计的要求越来越高,为此,对商业化层次式FPGA提出一种快速布局算法.以基于划分的布局方法作为基本算法框架,针对层次式FPGA的结构制定计划分粒度控制、空间分配和线网权重分配等优化策略,对... 详细信息

随着现代FPGA规模与结构迅速发展,对FPGA物理设计的要求越来越高,为此,对商业化层次式FPGA提出一种快速布局算法.以基于划分的布局方法作为基本算法框架,针对层次式FPGA的结构制定计划分粒度控制、空间分配和线网权重分配等优化策略,对电路划分过程(整体布局过程)和详细布局过程进行优化.实验结果表明,该算法在实现快速布局的同时,嵌入的优化策略平均将总线长缩短29%;与基于结群的层次式FPGA布局算法相比,平均线长仅为基于结群算法的60%,同时平均运行速度快4倍多.

关键词：层次式FPGA 划分算法快速布局