首页 > 最新文献

1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)最新文献

英文 中文
Effects of delay models on peak power estimation of VLSI sequential circuits 延迟模型对VLSI顺序电路峰值功率估计的影响
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643360
M. Hsiao, E. Rudnick, J. Patel
Previous work has shown that maximum switching density at a given node is extremely sensitive to a slight change in the delay at that node. However, when estimating the peak power for the entire circuit, the powers estimated must not be as sensitive to a slight variation or inaccuracy in the assumed gate delays because computing the exact gate delays for every gate in the circuit during simulation is expensive. Thus, we would like to use the simplest delay model possible to reduce the execution time for estimating power, while making sure that it provides an accurate estimate, i.e., that the peak powers estimated will not vary due to a variation in the gate delays. Results for four delay models are reported for the ISCAS85 combinational benchmark circuits, ISCAS89 sequential benchmark circuits, and several synthesized circuits.
先前的研究表明,给定节点上的最大开关密度对该节点上延迟的微小变化极为敏感。然而,当估计整个电路的峰值功率时,估计的功率不能对假设的栅极延迟的微小变化或不准确敏感,因为在仿真期间计算电路中每个栅极的精确栅极延迟是昂贵的。因此,我们希望尽可能使用最简单的延迟模型来减少估计功率的执行时间,同时确保它提供准确的估计,即,估计的峰值功率不会因栅极延迟的变化而变化。报告了ISCAS85组合基准电路、ISCAS89顺序基准电路和几种合成电路的四种延迟模型的结果。
{"title":"Effects of delay models on peak power estimation of VLSI sequential circuits","authors":"M. Hsiao, E. Rudnick, J. Patel","doi":"10.1109/ICCAD.1997.643360","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643360","url":null,"abstract":"Previous work has shown that maximum switching density at a given node is extremely sensitive to a slight change in the delay at that node. However, when estimating the peak power for the entire circuit, the powers estimated must not be as sensitive to a slight variation or inaccuracy in the assumed gate delays because computing the exact gate delays for every gate in the circuit during simulation is expensive. Thus, we would like to use the simplest delay model possible to reduce the execution time for estimating power, while making sure that it provides an accurate estimate, i.e., that the peak powers estimated will not vary due to a variation in the gate delays. Results for four delay models are reported for the ISCAS85 combinational benchmark circuits, ISCAS89 sequential benchmark circuits, and several synthesized circuits.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128599185","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 42
Hardware/software partitioning for multi-function systems 用于多功能系统的硬件/软件分区
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643588
A. Kalavade, 07733. subra
We are interested in optimizing the design of multi-function embedded systems that run a pre-specified set of applications, such as multi-standard audio/video codecs and multi-system phones. Such systems usually have stringent performance constraints and tend to have mixed hardware-software implementations. The current stare of the art in the hardware/software codesign of such systems is to design for each application separately. This often leads to application-specific sub-optimal decisions and inconsistent mappings of common nodes in different applications. We use these as the guiding principles to formulate, as a codesign problem, the design and synthesis of an efficient hardware-software implementation for a multi-function embedded system. Our solution methodology is to first identify nodes that represent similar functionality across different applications. Such "common" nodes are characterized by several metrics. These metrics are quantified and used by a hardware/software partitioning tool to map common nodes to the same resource as far as possible. We demonstrate how this is achieved by modifying a traditional partitioning algorithm (GCLP) used to partition single applications. The overall result of the system-level partitioning process is (1) a hardware or software mapping and (2) a schedule for execution for each node within the application set. On an example set consisting of three video applications, we show that the solution obtained by the use of our method is 38% smaller than that obtained when each application is considered independently.
我们对优化运行预先指定的应用程序集的多功能嵌入式系统的设计感兴趣,例如多标准音频/视频编解码器和多系统电话。这样的系统通常有严格的性能限制,并且往往有混合的硬件软件实现。这类系统的硬件/软件协同设计的当前趋势是分别为每个应用程序设计。这通常会导致特定于应用程序的次优决策和不同应用程序中公共节点的不一致映射。我们用这些作为指导原则来制定,作为一个协同设计问题,设计和综合一个高效的硬件软件实现的多功能嵌入式系统。我们的解决方案方法是首先识别跨不同应用程序表示相似功能的节点。这样的“公共”节点有几个指标。这些指标是量化的,并由硬件/软件分区工具使用,以尽可能地将公共节点映射到相同的资源。我们将通过修改用于对单个应用程序进行分区的传统分区算法(GCLP)来演示如何实现这一点。系统级分区过程的总体结果是(1)硬件或软件映射和(2)应用程序集中每个节点的执行计划。在由三个视频应用组成的示例集上,我们表明使用我们的方法获得的解比单独考虑每个应用时获得的解小38%。
{"title":"Hardware/software partitioning for multi-function systems","authors":"A. Kalavade, 07733. subra","doi":"10.1109/ICCAD.1997.643588","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643588","url":null,"abstract":"We are interested in optimizing the design of multi-function embedded systems that run a pre-specified set of applications, such as multi-standard audio/video codecs and multi-system phones. Such systems usually have stringent performance constraints and tend to have mixed hardware-software implementations. The current stare of the art in the hardware/software codesign of such systems is to design for each application separately. This often leads to application-specific sub-optimal decisions and inconsistent mappings of common nodes in different applications. We use these as the guiding principles to formulate, as a codesign problem, the design and synthesis of an efficient hardware-software implementation for a multi-function embedded system. Our solution methodology is to first identify nodes that represent similar functionality across different applications. Such \"common\" nodes are characterized by several metrics. These metrics are quantified and used by a hardware/software partitioning tool to map common nodes to the same resource as far as possible. We demonstrate how this is achieved by modifying a traditional partitioning algorithm (GCLP) used to partition single applications. The overall result of the system-level partitioning process is (1) a hardware or software mapping and (2) a schedule for execution for each node within the application set. On an example set consisting of three video applications, we show that the solution obtained by the use of our method is 38% smaller than that obtained when each application is considered independently.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126908302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 41
State transformation in event driven explicit simulation 事件驱动显式仿真中的状态转换
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643533
Tuyen V. Nguyen, A. Devgan
This paper presents a general method for incorporating state transformation in event driven explicit simulation. One inherent assumption in this type of simulation algorithm is the state independence, which allows the algorithm to process the states independently in an event driven manner at the transistor level. Numerical problems arise when an inappropriate state representation of the circuit, in which the states are not truly independent, is chosen. In principle, any similarity transformation of the state equation can be employed to transform the circuit into a more convenient state space for numerical solution. This paper develops a systematic scheme to derive an appropriate state transformation, and to incorporate the state transformulation in such a way to maintain the efficiency of event driven explicit simulation algorithms.
本文提出了在事件驱动显式仿真中引入状态转换的一般方法。这种类型的仿真算法的一个固有假设是状态独立性,它允许算法在晶体管级别以事件驱动的方式独立地处理状态。当选择不适当的电路状态表示时,其中的状态不是真正独立的,就会出现数值问题。原则上,任何状态方程的相似变换都可以将电路转换成更方便的状态空间进行数值求解。本文开发了一种系统的方案来推导适当的状态转换,并以这种方式合并状态转换,以保持事件驱动显式仿真算法的效率。
{"title":"State transformation in event driven explicit simulation","authors":"Tuyen V. Nguyen, A. Devgan","doi":"10.1109/ICCAD.1997.643533","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643533","url":null,"abstract":"This paper presents a general method for incorporating state transformation in event driven explicit simulation. One inherent assumption in this type of simulation algorithm is the state independence, which allows the algorithm to process the states independently in an event driven manner at the transistor level. Numerical problems arise when an inappropriate state representation of the circuit, in which the states are not truly independent, is chosen. In principle, any similarity transformation of the state equation can be employed to transform the circuit into a more convenient state space for numerical solution. This paper develops a systematic scheme to derive an appropriate state transformation, and to incorporate the state transformulation in such a way to maintain the efficiency of event driven explicit simulation algorithms.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123683681","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Post-route optimization for improved yield using a rubber-band wiring model 利用橡皮筋布线模型进行产率优化
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643615
Jeffrey Z. Su, W. Dai
The paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification without further modifications. However, to improve manufacturability, the authors introduce a concept called even wire distribution, a key element of the SURF physical design tool. To alleviate congestion, they first move vias and wires towards less dense areas in a manner which preserves the existing wiring paths. Depending on the locally available area, they then increase wire spacing to reduce defect sensitivity, without changing the area of the design. Carafe, an inductive fault analysis tool is used to evaluate the new layout.
本文提出了一种在给定布线布局下提高成品率的独特方法。目前路由完成并压实后,一般不做进一步修改,直接进行验证。然而,为了提高可制造性,作者引入了一种称为均匀布线的概念,这是SURF物理设计工具的关键元素。为了缓解拥堵,他们首先以保留现有布线路径的方式将通孔和电线移动到密度较小的区域。根据局部可用面积,他们增加导线间距以降低缺陷灵敏度,而不改变设计面积。Carafe是一种电感故障分析工具,用于评估新布局。
{"title":"Post-route optimization for improved yield using a rubber-band wiring model","authors":"Jeffrey Z. Su, W. Dai","doi":"10.1109/ICCAD.1997.643615","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643615","url":null,"abstract":"The paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification without further modifications. However, to improve manufacturability, the authors introduce a concept called even wire distribution, a key element of the SURF physical design tool. To alleviate congestion, they first move vias and wires towards less dense areas in a manner which preserves the existing wiring paths. Depending on the locally available area, they then increase wire spacing to reduce defect sensitivity, without changing the area of the design. Carafe, an inductive fault analysis tool is used to evaluate the new layout.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114077289","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
A quantitative approach to functional debugging 功能调试的定量方法
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643403
D. Kirovski, M. Potkonjak
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implementation is used for fast application execution; simulation provides complete design observability and controllability. The implementation of the new debugging approach poses several CAD tasks. We formulate the optimization tasks and develop constraint-based heuristics to solve them. Effectiveness of the approach is demonstrated on a set of designs.
我们介绍了一种新的基于切割的调试范例。它协调了设计仿真和仿真,并实现了从一个到另一个的快速过渡。仿真或功能实现用于快速执行应用程序;仿真提供了完整的设计可观察性和可控性。新的调试方法的实现提出了几个CAD任务。我们制定了优化任务,并开发了基于约束的启发式方法来解决它们。通过一组设计验证了该方法的有效性。
{"title":"A quantitative approach to functional debugging","authors":"D. Kirovski, M. Potkonjak","doi":"10.1109/ICCAD.1997.643403","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643403","url":null,"abstract":"We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implementation is used for fast application execution; simulation provides complete design observability and controllability. The implementation of the new debugging approach poses several CAD tasks. We formulate the optimization tasks and develop constraint-based heuristics to solve them. Effectiveness of the approach is demonstrated on a set of designs.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114616109","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A block rational Arnoldi algorithm for multipoint passive model-order reduction of multiport RLC networks 多端口RLC网络多点被动模型降阶的块理性Arnoldi算法
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643368
I. Elfadel, D. D. Ling
Work in the area of model-order reduction for RLC interconnect networks has focused on building reduced-order models that preserve the circuit-theoretic properties of the network, such as stability, passivity, and synthesizability (Silveira et al., 1996). Passivity is the one circuit-theoretic property that is vital for the successful simulation of a large circuit netlist containing reduced-order models of its interconnect networks. Non-passive reduced-order models may lead to instabilities even if they are themselves stable. We address the problem of guaranteeing the accuracy and passivity of reduced-order models of multiport RLC networks at any finite number of expansion points. The novel passivity-preserving model-order reduction scheme is a block version of the rational Arnoldi algorithm (Ruhe, 1994). The scheme reduces to that of (Odabasioglu et al., 1997) when applied to a single expansion point at zero frequency. Although the treatment of this paper is restricted to expansion points that are on the negative real axis, it is shown that the resulting passive reduced-order model is superior in accuracy to the one that would result from expanding the original model around a single point. Nyquist plots are used to illustrate both the passivity and the accuracy of the reduced order models.
RLC互连网络模型降阶领域的工作主要集中在建立保持网络电路理论特性的降阶模型,如稳定性、无源性和可合成性(Silveira et al., 1996)。无源性是电路理论的一个重要性质,它对包含其互连网络的降阶模型的大型电路网络表的成功仿真至关重要。非被动降阶模型可能导致不稳定,即使它们本身是稳定的。研究了多端口RLC网络在任意有限个数的扩展点上的降阶模型的准确性和无源性的保证问题。新的无源保持模型阶约简方案是理性Arnoldi算法的块版本(Ruhe, 1994)。当应用于零频率的单个扩展点时,该方案减少到(Odabasioglu et al., 1997)。虽然本文的处理仅限于负实轴上的展开点,但结果表明,所得的被动降阶模型的精度优于围绕单个点展开原始模型的模型。用奈奎斯特图说明了降阶模型的无源性和精度。
{"title":"A block rational Arnoldi algorithm for multipoint passive model-order reduction of multiport RLC networks","authors":"I. Elfadel, D. D. Ling","doi":"10.1109/ICCAD.1997.643368","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643368","url":null,"abstract":"Work in the area of model-order reduction for RLC interconnect networks has focused on building reduced-order models that preserve the circuit-theoretic properties of the network, such as stability, passivity, and synthesizability (Silveira et al., 1996). Passivity is the one circuit-theoretic property that is vital for the successful simulation of a large circuit netlist containing reduced-order models of its interconnect networks. Non-passive reduced-order models may lead to instabilities even if they are themselves stable. We address the problem of guaranteeing the accuracy and passivity of reduced-order models of multiport RLC networks at any finite number of expansion points. The novel passivity-preserving model-order reduction scheme is a block version of the rational Arnoldi algorithm (Ruhe, 1994). The scheme reduces to that of (Odabasioglu et al., 1997) when applied to a single expansion point at zero frequency. Although the treatment of this paper is restricted to expansion points that are on the negative real axis, it is shown that the resulting passive reduced-order model is superior in accuracy to the one that would result from expanding the original model around a single point. Nyquist plots are used to illustrate both the passivity and the accuracy of the reduced order models.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"50 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124528501","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 160
Interconnect layout optimization under higher-order RLC model 高阶RLC模型下互连布局优化
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643617
J. Cong, Cheng-Kok Koh
Studies the interconnect layout optimization problem under a higher-order RLC model to optimize not just the delay but also the waveform for RLC circuits with non-monotone signal response. We propose a unified approach that considers topology optimization, wire-sizing optimization and waveform optimization simultaneously. Our algorithm considers a large class of routing topologies, ranging from shortest-path Steiner trees to bounded-radius Steiner trees and Steiner routings. We construct a set of required-arrival-time Steiner (RATS) trees, providing a smooth trade-off among signal delay, waveform and routing area. Using a new incremental moment computation algorithm, we interleave topology construction with moment computation to facilitate accurate delay calculation and evaluation of waveform quality. Experimental results show that our algorithm is able to construct a set of topologies providing a smooth trade-off among signal delay, signal settling time, voltage overshoot and routing cost.
研究高阶RLC模型下的互连布局优化问题,对具有非单调信号响应的RLC电路进行时延优化和波形优化。我们提出了一种统一的方法,同时考虑拓扑优化,导线尺寸优化和波形优化。我们的算法考虑了一大类路由拓扑,从最短路径斯坦纳树到有界半径斯坦纳树和斯坦纳路由。我们构造了一组所需到达时间的斯坦纳树,提供了信号延迟、波形和路由面积之间的平滑权衡。我们使用一种新的增量矩计算算法,将拓扑构造与矩计算交织在一起,以方便准确的延迟计算和波形质量评估。实验结果表明,该算法能够构建一组拓扑结构,在信号延迟、信号稳定时间、电压超调和路由开销之间实现平滑权衡。
{"title":"Interconnect layout optimization under higher-order RLC model","authors":"J. Cong, Cheng-Kok Koh","doi":"10.1109/ICCAD.1997.643617","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643617","url":null,"abstract":"Studies the interconnect layout optimization problem under a higher-order RLC model to optimize not just the delay but also the waveform for RLC circuits with non-monotone signal response. We propose a unified approach that considers topology optimization, wire-sizing optimization and waveform optimization simultaneously. Our algorithm considers a large class of routing topologies, ranging from shortest-path Steiner trees to bounded-radius Steiner trees and Steiner routings. We construct a set of required-arrival-time Steiner (RATS) trees, providing a smooth trade-off among signal delay, waveform and routing area. Using a new incremental moment computation algorithm, we interleave topology construction with moment computation to facilitate accurate delay calculation and evaluation of waveform quality. Experimental results show that our algorithm is able to construct a set of topologies providing a smooth trade-off among signal delay, signal settling time, voltage overshoot and routing cost.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131648608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 38
The disjunctive decomposition of logic functions 逻辑函数的析取分解
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643371
V. Bertacco, M. Damiani
We present an algorithm for extracting a disjunctive decomposition from the BDD representation of F. The output of the algorithm is a multiple-level netlist exposing the hierarchical decomposition structure of the function. The algorithm has theoretical quadratic complexity in the size of the input BDD. Experimentally, we were able to decompose most synthesis benchmarks in less than one second of CPU time, and to report on the decomposability of several complex ISCAS combinational benchmarks. We found the final netlist to be often close to the output of more complex dedicated optimization tools.
我们提出了一种从f的BDD表示中提取析取分解的算法,该算法的输出是一个多层网表,暴露了函数的分层分解结构。该算法在输入BDD的大小上具有理论二次复杂度。在实验上,我们能够在不到一秒的CPU时间内分解大多数合成基准,并报告几个复杂的ISCAS组合基准的可分解性。我们发现最终的网表通常接近更复杂的专用优化工具的输出。
{"title":"The disjunctive decomposition of logic functions","authors":"V. Bertacco, M. Damiani","doi":"10.1109/ICCAD.1997.643371","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643371","url":null,"abstract":"We present an algorithm for extracting a disjunctive decomposition from the BDD representation of F. The output of the algorithm is a multiple-level netlist exposing the hierarchical decomposition structure of the function. The algorithm has theoretical quadratic complexity in the size of the input BDD. Experimentally, we were able to decompose most synthesis benchmarks in less than one second of CPU time, and to report on the decomposability of several complex ISCAS combinational benchmarks. We found the final netlist to be often close to the output of more complex dedicated optimization tools.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"66 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131122103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 132
Fast field solver programs for thermal and electrostatic analysis of microsystem elements 用于微系统元素的热和静电分析的快速场求解程序
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643612
V. Székely, M. Rencz
To solve the problem of fast thermal and electrostatic simulation of microsystem elements two different field solver tools have been developed at TUB. The /spl mu/S-THERMANAL program is capable for the fast steady state and dynamic simulation of suspended multilayered microsystem structures, while the 2D-SUNRED program is the first version of a general field solver program, based on an original method, successive network reduction. This program offers a very fast and accurate substitute for FEM programs for the solution of the Poisson equation, e.g. solving a 32000 grid problem in about 6 minutes on a 586 PC. Application examples show the usability of the tools.
为了解决微系统元件的快速热和静电模拟问题,在TUB开发了两种不同的现场求解工具。/spl mu/S-THERMANAL程序能够进行悬浮多层微系统结构的快速稳态和动态模拟,而2D-SUNRED程序是基于原始方法连续网络约简的通用现场求解程序的第一个版本。该程序为泊松方程的求解提供了一个非常快速和准确的FEM程序的替代品,例如在586 PC上求解32000网格问题约6分钟。应用程序示例展示了这些工具的可用性。
{"title":"Fast field solver programs for thermal and electrostatic analysis of microsystem elements","authors":"V. Székely, M. Rencz","doi":"10.1109/ICCAD.1997.643612","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643612","url":null,"abstract":"To solve the problem of fast thermal and electrostatic simulation of microsystem elements two different field solver tools have been developed at TUB. The /spl mu/S-THERMANAL program is capable for the fast steady state and dynamic simulation of suspended multilayered microsystem structures, while the 2D-SUNRED program is the first version of a general field solver program, based on an original method, successive network reduction. This program offers a very fast and accurate substitute for FEM programs for the solution of the Poisson equation, e.g. solving a 32000 grid problem in about 6 minutes on a 586 PC. Application examples show the usability of the tools.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133451966","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Simulated quenching: a new placement method for module generation 模拟淬火:一种新的模块生成放置方法
Pub Date : 1997-11-13 DOI: 10.1109/ICCAD.1997.643591
Shinji Sato
This paper addresses a placement method for module generation. The conventional partitioning based method can not guarantee the best results in consecutive partitioning. Also, when the size of the cells varies greatly, it can be too strong a constraint for minimum partitioning under "partitioning into two similar size subcircuits". Although the conventional simulated annealing (SA) based method gives a better result, it requires extremely long computation time. This paper proposes an algorithm based on SA method which employs the divide and conquer technique to give better results than partitioning based method and to give a much faster computation time than SA method. We applied this idea to linear placement. It was found that the total wiring length was improved by about 10% compared to that of the spectral method (previously recognized to be the best). The computation time was greatly reduced from the SA method.
本文提出了一种模块生成的放置方法。传统的基于分区的方法不能保证连续分区的最佳结果。此外,当单元的大小变化很大时,在“划分为两个大小相似的子电路”下,对最小划分的约束可能太强。传统的基于模拟退火(SA)的方法虽然得到了较好的结果,但其计算时间非常长。本文提出了一种基于SA方法的算法,该算法采用分而治之的方法,比基于分区的方法得到更好的结果,并且计算时间比基于SA方法快得多。我们将这一理念应用于线性布局。结果表明,与光谱法(先前公认的最佳方法)相比,总布线长度提高了约10%。与SA方法相比,计算时间大大缩短。
{"title":"Simulated quenching: a new placement method for module generation","authors":"Shinji Sato","doi":"10.1109/ICCAD.1997.643591","DOIUrl":"https://doi.org/10.1109/ICCAD.1997.643591","url":null,"abstract":"This paper addresses a placement method for module generation. The conventional partitioning based method can not guarantee the best results in consecutive partitioning. Also, when the size of the cells varies greatly, it can be too strong a constraint for minimum partitioning under \"partitioning into two similar size subcircuits\". Although the conventional simulated annealing (SA) based method gives a better result, it requires extremely long computation time. This paper proposes an algorithm based on SA method which employs the divide and conquer technique to give better results than partitioning based method and to give a much faster computation time than SA method. We applied this idea to linear placement. It was found that the total wiring length was improved by about 10% compared to that of the spectral method (previously recognized to be the best). The computation time was greatly reduced from the SA method.","PeriodicalId":187521,"journal":{"name":"1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","volume":"243 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132729527","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
期刊
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1