Proceedings of International Conference on Computer Aided Design最新文献_第5页

Latch optimization in circuits generated from high-level descriptions 由高级描述生成的电路中的闩锁优化

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569833

E. Sentovich, Horia Toma, G. Berry

引用次数: 58

Comparing models of computation 比较计算模型

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569613

Edward A. Lee, A. Sangiovanni-Vincentelli

引用次数: 127

Expected current distributions for CMOS circuits CMOS电路的预期电流分布

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569915

D. Ciplickas, R. Rohrer

{"title":"Expected current distributions for CMOS circuits","authors":"D. Ciplickas, R. Rohrer","doi":"10.1109/ICCAD.1996.569915","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569915","url":null,"abstract":"The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper presents a new static switching current estimation algorithm based on the idea of \"Expected Current Distributions\" (ECDs). Unlike previous \"expected waveform\" approaches, ECDs model not only the expected value of switching current waveforms over all time, but also the variances and covariances of all waveform segments as well. This extra information allows a switching current waveform to be modeled by a random process with both first and second order ensemble statistics. This specification provides the power spectral density of the switching current and allows the use of traditional frequency domain noise analysis to simulate the behavior of the switching current in the electrical supply network. An ECD simulation procedure is described and results are presented for the ISCAS85 combinational benchmark circuits. Estimated quantities include total average and RMS VDD current, the autocorrelation function of the total VDD current waveform, and per-gate average and RMS VDD currents. The results show speedups of up to 100 x and good agreement with respect to figures obtained using dynamic logic simulation and statistical mean estimation.","PeriodicalId":408850,"journal":{"name":"Proceedings of International Conference on Computer Aided Design","volume":"13 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":"115005306","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

Zamlog: a parallel algorithm for fault simulation based on Zambezi Zamlog:一种基于赞比西河的并行故障模拟算法

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569903

M. Amin, B. Vinnakota

引用次数: 7

Logic optimization by output phase assignment in dynamic logic synthesis 动态逻辑合成中基于输出相位分配的逻辑优化

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.568901

R. Puri, A. Bjorksten, T. Rosser

引用次数: 56

Synthesis using Sequential Functional Modules (SFMs) 顺序功能模块(SFMs)合成

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569834

S. Chaudhuri, M. Quayle

引用次数: 2

Algorithms for address assignment in DSP code generation DSP代码生成中的地址分配算法

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569409

R. Leupers, P. Marwedel

引用次数: 162

An observability-based code coverage metric for functional simulation 用于功能模拟的基于可观察性的代码覆盖度量

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.569832

S. Devadas, Abhijit Ghosh, K. Keutzer

{"title":"An observability-based code coverage metric for functional simulation","authors":"S. Devadas, Abhijit Ghosh, K. Keutzer","doi":"10.1109/ICCAD.1996.569832","DOIUrl":"https://doi.org/10.1109/ICCAD.1996.569832","url":null,"abstract":"Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the designer simulates the design using a large number of vectors attempting to debug and verify the design. A major problem with functional simulation is the lack of good metrics and tools to evaluate the quality of a set of functional vectors. Metrics used currently are based on instruction counts and are quite simplistic. Designers are forced to use ad-hoc methods to terminate functional simulation, e.g., CPU time limitations, We propose a new metric for measuring the extent of design verification provided by a set of functional simulation vectors. This metric is universal, and can be used uniformly for all designs. Our metric computes observability information to determine whether effects of errors that are activated by the program stimuli can be observed at the circuit outputs. We provide preliminary experimental evidence that supports the validity of the proposed metric. We believe that using this metric in design verification will result in higher-quality functional tests and improved correctness checking.","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":"125811886","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}

引用次数: 123

Power optimization in disk-based real-time application specific systems 基于磁盘的实时应用程序特定系统中的电源优化

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.571334

Inki Hong, M. Potkonjak

引用次数: 23

Design for manufacturability in submicron domain 亚微米领域的可制造性设计

Proceedings of International Conference on Computer Aided Design Pub Date : 1996-11-10 DOI: 10.1109/ICCAD.1996.571365

Wojciech Maly, H. Heineken, J. Khare, P. Nag

引用次数: 55