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

33rd Design Automation Conference Proceedings, 1996最新文献

筛选
英文 中文
Equation-based behavioral model generation for nonlinear analog circuits 基于方程的非线性模拟电路行为模型生成
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1145/240518.240562
C. Borchers, L. Hedrich, E. Barke
{"title":"Equation-based behavioral model generation for nonlinear analog circuits","authors":"C. Borchers, L. Hedrich, E. Barke","doi":"10.1145/240518.240562","DOIUrl":"https://doi.org/10.1145/240518.240562","url":null,"abstract":"A fully automatic method for generating behavioral models for nonlinear analog circuits is presented. This method is based on simplifications of the system of nonlinear differential equations which is derived from a transistor level netlist. Generated models include nonlinear dynamic behavior. They are composed of symbolic equations comprising circuit parameters. Accuracy and simulation speed-up are shown by several examples.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117140947","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}
引用次数: 21
Hardware emulation for functional verification of K5 K5功能验证的硬件仿真
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1145/240518.240578
G. Ganapathy, Ram Narayan, Glenn Jorden, D. Fernandez, Ming Wang, J. Nishimura
{"title":"Hardware emulation for functional verification of K5","authors":"G. Ganapathy, Ram Narayan, Glenn Jorden, D. Fernandez, Ming Wang, J. Nishimura","doi":"10.1145/240518.240578","DOIUrl":"https://doi.org/10.1145/240518.240578","url":null,"abstract":"The K5 microprocessor is a 4 Million transistor superscalar, X86 microprocessor. The K5 microprocessor is an AMD original design, verifying compatibility with the existing X86 architecture and software is crucial to its success in the market place. The X86 architecture has been constantly evolving over several years without any published specification. The primary mechanism for functional design verification of an X86 processor is simulation. The ability to execute a good sample set of the X86 software base on a model of the processor architecture before tapeout is key to achieving very high confidence first silicon. The Quickturn Hardware Emulation system allows us to map a model of the design onto hardware resources and execute it at high speeds. In this paper we present the emulation methodology that was jointly developed for K5 and applied successfully to meet our functional verification goals.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126893974","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}
引用次数: 45
Application of a Markov model to the measurement, simulation, and diagnosis of an iterative design process 马尔可夫模型在迭代设计过程的测量、模拟和诊断中的应用
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1145/240518.240553
Eric W. Johnson, L. A. Castillo, J. Brockman
{"title":"Application of a Markov model to the measurement, simulation, and diagnosis of an iterative design process","authors":"Eric W. Johnson, L. A. Castillo, J. Brockman","doi":"10.1145/240518.240553","DOIUrl":"https://doi.org/10.1145/240518.240553","url":null,"abstract":"This paper presents the use of a Markov-based model for analyzing iterative design processes. Techniques are developed for collecting process metadata and calibrating the model. An experiment is described that demonstrates the utility and accuracy of the model for simulating design processes and identifying design process bottlenecks.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122133853","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}
引用次数: 20
A scalable formal verification methodology for pipelined microprocessors 流水线微处理器的可扩展形式化验证方法
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1109/DAC.1996.545638
J. Levitt, K. Olukotun
{"title":"A scalable formal verification methodology for pipelined microprocessors","authors":"J. Levitt, K. Olukotun","doi":"10.1109/DAC.1996.545638","DOIUrl":"https://doi.org/10.1109/DAC.1996.545638","url":null,"abstract":"We describe a novel, formal verification technique for proving the correctness of a pipelined microprocessor that focuses specifically on pipeline control logic. We iteratively deconstruct a pipeline by merging adjacent pipeline stages, allowing for the verification to be done in several easier steps. We present an inductive proof methodology that verifies that pipeline behaviour is preserved as the pipeline depth is reduced via deconstruction; this inductive approach is less sensitive to pipeline depth and complexity than previous approaches. Invariants are used to simplify the proof, and datapath components are abstracted using validity checking with uninterpreted functions. We present experimental results from the formal verification of a DLX five-stage pipeline using our technique.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128209251","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
A parallel precorrected FFT based capacitance extraction program for signal integrity analysis 基于并行预校正FFT的电容提取程序，用于信号完整性分析
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1145/240518.240587
N. Aluru, V. Nadkarni, James White
{"title":"A parallel precorrected FFT based capacitance extraction program for signal integrity analysis","authors":"N. Aluru, V. Nadkarni, James White","doi":"10.1145/240518.240587","DOIUrl":"https://doi.org/10.1145/240518.240587","url":null,"abstract":"In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or precorrected Fast Fourier Transform (FFT) accelerated methods in programs like FASTCAP, must be combined with techniques to exploit the emerging cluster-of-workstation based parallel computers like the IBM SP2. In this paper, we examine parallelizing the precorrected FFT algorithm for 3-D capacitance extraction and present several algorithms for balancing workload and reducing communication time. Results from a prototype implementation on an eight processor IBM SP2 are presented for several test examples, and the largest of these examples achieves nearly linear parallel speed-up.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134526975","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
Efficient full-wave electromagnetic analysis via model-order reduction of fast integral transforms 基于快速积分变换的模型阶降的高效全波电磁分析
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1109/DAC.1996.545605
Joel R. Philips, E. Chiprout, D. D. Ling
{"title":"Efficient full-wave electromagnetic analysis via model-order reduction of fast integral transforms","authors":"Joel R. Philips, E. Chiprout, D. D. Ling","doi":"10.1109/DAC.1996.545605","DOIUrl":"https://doi.org/10.1109/DAC.1996.545605","url":null,"abstract":"An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered by the high computational complexity of dense matrix representations and difficulty in obtaining and utilizing the frequency-domain response. In this paper we demonstrate that an algorithm based on application of a novel model-order reduction scheme directly to the sparse model generated by a fast integral transform has significant advantages for frequency- and time-domain simulation.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131647224","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}
引用次数: 73
Efficient approximation algorithms for floorplan area minimization 平面图面积最小化的有效近似算法
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1109/DAC.1996.545624
D. Chen, X. Hu
{"title":"Efficient approximation algorithms for floorplan area minimization","authors":"D. Chen, X. Hu","doi":"10.1109/DAC.1996.545624","DOIUrl":"https://doi.org/10.1109/DAC.1996.545624","url":null,"abstract":"Approximation has been shown to be an effective method for reducing the time and space costs of solving various floorplan area minimization problems. In this paper, we present several approximation techniques for solving floorplan area minimization problems. These new techniques enable us to reduce both the time and space complexities of the previously best known approximation algorithms by more than a factor of n and n/sup 2/ for rectangular and L-shaped sub-floorplans, respectively (where n is the number of given implementations). The efficiency in the time and space complexities is critical to the applicability of such approximation techniques in floorplan area minimization algorithms. We also give a technique for enhancing the quality of approximation results.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"7 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123803683","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
Delay minimal decomposition of multiplexers in technology mapping 技术映射中多路复用器的延迟最小分解
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1109/DAC.1996.545582
Shashidhar Thakur, D. F. Wong, S. Krishnamoorthy
{"title":"Delay minimal decomposition of multiplexers in technology mapping","authors":"Shashidhar Thakur, D. F. Wong, S. Krishnamoorthy","doi":"10.1109/DAC.1996.545582","DOIUrl":"https://doi.org/10.1109/DAC.1996.545582","url":null,"abstract":"Technology mapping requires the unmapped logic network to be represented in terms of base functions, usually two-input NORs and inverters. Technology decomposition is the step that transforms arbitrary networks to this form. Typically, such decomposition schemes ignore the fact that certain circuit elements can be mapped more efficiently by treating them separately during decomposition. Multiplexers are one such category of circuit elements. They appear very naturally in circuits, in the form of datapath elements and as a result of synthesis of CASE statements in HDL specifications of control logic. Mapping them using multiplexers in technology libraries has many advantages. In this paper, we give an algorithm for optimally decomposing multiplexers, so as to minimize the delay of the network, and demonstrate its effectiveness in improving the quality of mapped circuits.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122039764","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}
引用次数: 21
iCET: a complete chip-level thermal reliability diagnosis tool for CMOS VLSI chips iCET:完整的CMOS VLSI芯片级热可靠性诊断工具
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1109/DAC.1996.545636
Yi-Kan Cheng, Chin-Chi Teng, A. Dharchoudhury, E. Rosenbaum, S. Kang
{"title":"iCET: a complete chip-level thermal reliability diagnosis tool for CMOS VLSI chips","authors":"Yi-Kan Cheng, Chin-Chi Teng, A. Dharchoudhury, E. Rosenbaum, S. Kang","doi":"10.1109/DAC.1996.545636","DOIUrl":"https://doi.org/10.1109/DAC.1996.545636","url":null,"abstract":"In this paper, we present the first chip-level electrothermal simulator, iCET. For a given chip layout, packaging material, user-specified input signal patterns, and thermal boundary conditions, it automatically finds the CMOS on-chip steady-state temperature profile and the resulting circuit performance. iCET has been tested on several circuits and it can efficiently analyze layouts containing tens of thousands of transistors on a desktop workstation.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115320921","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}
引用次数: 13
FADIC: architectural synthesis applied in IC design FADIC:集成电路设计中的建筑综合
33rd Design Automation Conference Proceedings, 1996 Pub Date : 1996-06-01 DOI: 10.1109/DAC.1996.545642
J. Huisken, F. Welten
{"title":"FADIC: architectural synthesis applied in IC design","authors":"J. Huisken, F. Welten","doi":"10.1109/DAC.1996.545642","DOIUrl":"https://doi.org/10.1109/DAC.1996.545642","url":null,"abstract":"This paper discusses the design of a chip using architectural synthesis. The chip, FADIC, is applied in digital audio broadcasting (DAB) receivers. It shows that architectural synthesis tools are used for the design of new complex applications and that it supports the evolutionary development of challenging applications like DAB. It was found that the success of such tools in the design community depends on the way user interaction is supported and stimulated. Fast and accurate feedback from the synthesis tools in combination with a rich set of hints for the compiler to guide the architecture exploration are the key issues. It is shown that short time to market is possible for implementations which are an order of magnitude more efficient than alternative implementations on commercially available DSP processors.","PeriodicalId":152966,"journal":{"name":"33rd Design Automation Conference Proceedings, 1996","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115383340","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
首页 上一页
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学术文献互助群
群 号：481959085
Book学术官方微信