发布求助
文献互助 智能选刊 最新文献

Proceedings of International Conference on Computer Aided Design最新文献

筛选
英文 中文
Width minimization of two-dimensional CMOS cells using integer programming 宽度最小化的二维CMOS单元使用整数规划
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.571346
Avaneendra Gupta, J. Hayes
{"title":"Width minimization of two-dimensional CMOS cells using integer programming","authors":"Avaneendra Gupta, J. Hayes","doi":"10.1109/ICCAD.1996.571346","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.571346","url":null,"abstract":"We address the problem of CMOS cell width minimization in the general two-dimensional (2-D) layout style and propose a novel technique based on integer linear programming (ILP) to solve it exactly. We formulate a 0-1 ILP model whose solution minimizes cell width along with the routing complexity across the diffusion rows. We present experimental results that evaluate the performance of two ILP solvers that have very different solution methods, and assess the effect of the number of rows on cell width. Runtimes for optimal layouts are in seconds for cells with up to 20 transistors. For larger cells, we propose a practical circuit pre-processing scheme that dramatically reduces the run time with little or no loss in optimality.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115441842","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}
引用次数: 25
An approximate timing analysis method for datapath circuits 数据通路电路的近似时序分析方法
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569410
H. Yalcin, J. Hayes, K. Sakallah
{"title":"An approximate timing analysis method for datapath circuits","authors":"H. Yalcin, J. Hayes, K. Sakallah","doi":"10.1109/ICCAD.1996.569410","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569410","url":null,"abstract":"We present a novel timing analysis method ACD that computes an approximate value for the delay of datapath circuits. Based on the conditional delay matrix (CDM) formalism we introduced earlier the ACD method exploits the fact that most datapath signals are directed by a small set of control inputs. The signal propagation conditions are restricted to a set of predefined central inputs, which results in significant reductions in the size of the conditions as well as computation time. We have implemented ACD and experimented with reverse-engineered high-level versions of the ISCAS-85 benchmarks. Our results demonstrate up to three orders of magnitude speedup in computation time over exact methods, with little or no loss in accuracy.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115686215","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}
引用次数: 24
An efficient approach to simultaneous transistor and interconnect sizing 一种同时进行晶体管和互连尺寸调整的有效方法
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569580
J. Cong, Lei He
{"title":"An efficient approach to simultaneous transistor and interconnect sizing","authors":"J. Cong, Lei He","doi":"10.1109/ICCAD.1996.569580","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569580","url":null,"abstract":"In this paper, we study the simultaneous transistor and interconnect sizing (STIS) problem. We define a class of optimization problems as CH-posynomial programs and reveal a general dominance property for all CH-posynomial programs. We show that the STIS problems under a number of transistor delay models are CH-posynomial programs and propose an efficient and near-optimal STIS algorithm based on the dominance property. When used to solve the simultaneous driver/buffer and wire sizing problem for real designs, it reduces the maximum delay by up to 16.1%, and more significantly, reduces the power consumption by a factor of 1.63/spl times/, when compared with the original designs. When used to solve the transistor sizing problem, it achieves a smooth area-delay trade-off. Moreover, the algorithm optimizes a clock net of 367 drivers/buffers and 59304 /spl mu/m-long wire in 120 seconds, and a 32-bit adder with 1026 transistors in 66 seconds on a SPARC-5 workstation.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123727522","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}
引用次数: 30
Driving toward higher I/sub DDQ/ test quality for sequential circuits: A generalized fault model and its ATPG 时序电路迈向更高的I/sub DDQ/测试质量:一种广义故障模型及其ATPG
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569610
H. Kondo, K. Cheng
{"title":"Driving toward higher I/sub DDQ/ test quality for sequential circuits: A generalized fault model and its ATPG","authors":"H. Kondo, K. Cheng","doi":"10.1109/ICCAD.1996.569610","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569610","url":null,"abstract":"We propose a generalized stuck-at fault model for sequential circuits under the selective I/sub DDQ/ test strategy. The proposed fault model makes a pessimistic assumption on the Boolean fault effects when the fault is activated. We show that by using the proposed fault model, test sequences of higher quality can be generated and/or selected. We further propose a test vector generation and selection method for this fault model. We present results to illustrate that a high fault coverage for the proposed fault model can be achieved by a small test set under the selective I/sub DDQ/ test environment.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127927044","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}
引用次数: 11
Improved reachability analysis of large finite state machines 改进了大型有限状态机的可达性分析
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569819
G. Cabodi, P. Camurati, S. Quer
{"title":"Improved reachability analysis of large finite state machines","authors":"G. Cabodi, P. Camurati, S. Quer","doi":"10.1109/ICCAD.1996.569819","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569819","url":null,"abstract":"BDD-based symbolic traversals are the state-of-the-art technique for reachability analysis of finite state machines. They are currently limited to medium-small circuits for two reasons: peak BDD size during image computation and BDD explosion for representing state sets. Starting from these limits, this paper presents can optimized traversal technique particularly oriented to the exact exploration of the state space of large machines. This is possible thanks to: temporary simplification of a finite state machine by removing some of its state elements; and a \"divide-and-conquer\" approach based on state set decomposition. An effective use of secondary memory allows us to store relevant portions of BDDs and to regularize access to memory, resulting in less page faults. Experimental results show that this approach is particularly effective on the larger ISCAS'89 and ISCAS'89-addendum'93 circuits.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130553006","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}
引用次数: 75
Module placement on BSG-structure and IC layout applications 模块放置在bsg结构和IC布局应用
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569870
S. Nakatake, K. Fujiyoshi, H. Murata, Y. Kajitani
{"title":"Module placement on BSG-structure and IC layout applications","authors":"S. Nakatake, K. Fujiyoshi, H. Murata, Y. Kajitani","doi":"10.1109/ICCAD.1996.569870","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569870","url":null,"abstract":"A new method of packing rectangles (modules) is presented with applications to IC layout design. It is based on the bounded-sliceline grid (BSG) structure. The BSG dissects the plane into rooms associated with binary relations \"right-to\"and \"above\" such that any two rooms are uniquely in either relation. A packing is obtained through an assignment of modules on the BSG. Followed by physical realization BSG-PACK. A simulated annealing searches for a goon packing of all packings by changing the assignments. Experiments showed that hundreds of rectangles are easily packed in a small rectangle area (chip) with quite good quality in area efficiency. A wide adaptability is demonstrated specific to IC layout design. Remarkable examples are: the chip is not necessarily rectangle, L-shaped modules and modules which are allowed to partially overlap each other can be handled.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129009718","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}
引用次数: 275
Metrics, techniques and recent developments in mixed-signal testing 混合信号测试的度量、技术和最新发展
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569904
G. Roberts
{"title":"Metrics, techniques and recent developments in mixed-signal testing","authors":"G. Roberts","doi":"10.1109/ICCAD.1996.569904","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569904","url":null,"abstract":"This paper presents a tutorial on mixed-signal testing. Our focus is on testing the analog portion of the mixed-signal device, as the digital portion is handled in the usual way. We begin by first outlining the role of test in a manufacturing environment, and its impact on product cost and quality. We look at the impact of manufacturing defects on the behavior of digital and analog circuits. Subsequently, we argue that analog circuits require very different test methods than those presently used to test digital circuits. We then describe four common analog test methods and their measurement setups. We also describe how analog testing can be accomplished using digital sampling techniques. Finally, we close this tutorial with a brief description of several developments presently underway on the design of testable mixed-signal circuits.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129377171","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}
引用次数: 32
Design of robust test criteria in analog testing 模拟测试中稳健测试准则的设计
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569918
W. M. Lindermeir
{"title":"Design of robust test criteria in analog testing","authors":"W. M. Lindermeir","doi":"10.1109/ICCAD.1996.569918","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569918","url":null,"abstract":"Test design of analog circuits based on statistical methods for decision making is a topic of growing interest. The major problem of such statistical approaches with respect to industrial applicability concerns the confidence with which the determined test criteria can be applied in production testing. This mainly refers to the consideration of measurement noise, to the selected measurements, as well as to the required training and validation samples. These crucial topics are addressed in this paper. On exploiting experience from the statistical design of analog circuits and from pattern recognition methods, efficient solutions to these problems are provided. A very robust test design is achieved by systematically considering measurement noise, by selecting most significant measurements, and by using most meaningful samples. Moreover, parametric as well as catastrophic faults are covered on application of digital testing methods.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114173597","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}
引用次数: 23
Synthesis of reusable DSP cores based on multiple behaviors 基于多行为的可复用DSP内核的综合
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569408
Wei Zhao, C. Papachristou
{"title":"Synthesis of reusable DSP cores based on multiple behaviors","authors":"Wei Zhao, C. Papachristou","doi":"10.1109/ICCAD.1996.569408","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569408","url":null,"abstract":"Design with cores has become popular recently because it can decrease the design time and ease the complexity of the design process. This paper presents a new method for the design of DSP cores based on multiple behaviors. This method uses redesign technique based on reallocation transformations to extract those RTL components in an initial RTL structure which are highly reusable and uses them to construct a DSP core. Experimental results are provided to illustrate the high reusability of core, extracted from given behaviors, when it accommodates new behaviors.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114827018","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}
引用次数: 12
Fast Boolean optimization by rewiring 通过重新布线快速布尔优化
Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569641
Shih-Chieh Chang, L. V. Ginneken, M. Marek-Sadowska
{"title":"Fast Boolean optimization by rewiring","authors":"Shih-Chieh Chang, L. V. Ginneken, M. Marek-Sadowska","doi":"10.1109/ICCAD.1996.569641","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569641","url":null,"abstract":"This paper presents a very efficient Boolean logic optimization method. The boolean optimization is achieved by adding and removing redundant wires in a circuit. Our algorithm applies the reasoning of Automatic Test Pattern Generation (ATPG) which can detect redundancy efficiently. During the ATPG process, mandatory assignments are assignments which must be satisfied. Our algorithm analyzes different characteristics of mandatory assignments during the ATPG process. New theoretical results based on the analysis are presented which lead to significant performance improvements. The fast run time and the excellent scaling to large problems make our Boolean optimization method practical for industrial applications. Experiments show that the optimization results are comparable to those of Kunz and Pradhan (1994) while the run time is two orders of magnitude faster (average 126/spl times/ speed up). Furthermore, we report optimization results for several large examples, which were previously thought to be too large to be handled by Boolean optimization methods.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126222532","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}
引用次数: 53
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信