1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)最新文献_第8页

Virtual screening: a step towards a sparse partial inductance matrix 虚拟筛选:迈向稀疏部分电感矩阵的一步

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810691

A. J. Dammers, N. V. D. Meijs

{"title":"Virtual screening: a step towards a sparse partial inductance matrix","authors":"A. J. Dammers, N. V. D. Meijs","doi":"10.1109/ICCAD.1999.810691","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810691","url":null,"abstract":"We extend the partial inductance concept by replacing the magnetic interaction between open filaments i and j by that between filament j and a (finite) closed loop, formed by connecting the endpoints of a filament pair (i-i/sup l/). The secondary filament i/sup l/ is constructed by radial projection of filament i onto a cylindrical shell around filament j. We show that, although individual partial inductance values are modified, the inductive behaviour of the full circuit is invariant. Mutual inductances of distant filaments are particularly reduced, because the far field of a conductor loop falls off much faster than that of a single filament. Therefore, it is expected that subsequent removal of such transformed off-diagonal elements from the partial inductance matrix has less effect on the overall inductive properties, so our method provides a tool to enhance robustness under matrix sparsification. We call our method \"virtual screening\", because the screening filaments (i/sup l/) are not physically present. Symmetry of the inductance matrix is presented for orthogonal networks only. We also present an extension of our method to a more general class of shells. This allows a detailed comparison of the virtual screening method and the \"potential shift-truncate method\", introduced with spherical equipotential shells (B. Krauter and L.T. Pileggi, 1995) and extended to ellipsoidal equipotential shells (M. Beattie et al., 1998). We find strong similarities, but also differences. An interesting result is the fact that the virtual screening method with tubular shells applied to orthogonal networks can be interpreted as a generalization of the potential shift-truncate method to non-equipotential shells, which also implies that preservation of stability is guaranteed.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"22 1","pages":"445-452"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81051382","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}

引用次数: 5

Implication graph based domino logic synthesis 基于隐含图的domino逻辑合成

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810632

Ki-Wook Kim, C. Liu, S. Kang

引用次数: 13

Marsh:min-area retiming with setup and hold constraints Marsh:设置和保持约束的最小区域重新计时

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810609

V. Sundararajan, S. Sapatnekar, K. Parhi

引用次数: 8

Concurrent D-algorithm on reconfigurable hardware 可重构硬件上的并发d算法

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810640

F. Kocan, D. Saab

引用次数: 8

Dynamic power management using adaptive learning tree 动态电源管理使用自适应学习树

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810661

Eui-Young Chung, L. Benini, G. Micheli

引用次数: 175

A scalable substrate noise coupling model for mixed-signal ICs 混合信号集成电路的可扩展衬底噪声耦合模型

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810636

A. Samavedam, K. Mayaram, T. Fiez

引用次数: 10

Co-synthesis of heterogeneous multiprocessor systems using arbitrated communication 采用仲裁通信的异构多处理器系统的协同合成

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810671

D. Rhodes, W. Wolf

引用次数: 26

Copyright protection of designs based on multi source IPs 基于多源知识产权的外观设计的版权保护

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.5555/339492.340082

E. Charbon, I. Torunoglu

引用次数: 15

SAT based ATPG using fast justification and propagation in the implication graph 基于SAT的ATPG，在蕴涵图中使用快速证明和传播

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810638

P. Tafertshofer, A. Ganz

{"title":"SAT based ATPG using fast justification and propagation in the implication graph","authors":"P. Tafertshofer, A. Ganz","doi":"10.1109/ICCAD.1999.810638","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810638","url":null,"abstract":"In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As the IG model represents all information on the implemented logic function as well as the topology of a circuit, the proposed techniques inherit all advantages of both general SAT based and structure based approaches to justification, propagation, and implication. These three fundamental Boolean problems are the main tasks to be performed during automatic test pattern generation (ATPG) such that the proposed algorithms are incorporated into our ATPG tool TIP which is built on top of the implication engine. Working exclusively in the IG, the complex functional operations of justification, propagation, and implication reduce to significantly simpler graph algorithms. They are easily extended to exploit bit-parallel techniques. As the IG is automatically generated for arbitrary logics the algorithms remain applicable independent of the required logic. This allows processing of various fault models using the same engine. That is, the presented IG based methods offer a complete and versatile framework for rapid development of new ATPG tools that target emerging fault models such as crosstalk, delay or bridging faults. TIP currently handles stuck-at as well as various delay fault models. Furthermore, the proposed methods are used within tools for Boolean equivalence checking, optimization of netlists, timing analysis or retiming (reset state computation).","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"23 1","pages":"139-146"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80778902","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}

引用次数: 31

Copy detection for intellectual property protection of VLSI designs VLSI设计知识产权保护中的复制检测

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Pub Date : 1999-11-07 DOI: 10.1109/ICCAD.1999.810718

A. Kahng, D. Kirovski, S. Mantik, M. Potkonjak, J. Wong

引用次数: 51