1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)最新文献_第2页

On accelerating pattern matching for technology mapping 加速技术映射模式匹配的研究

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.288587

Y. Matsunaga

引用次数: 6

Formal verification of pipeline control using controlled token nets and abstract interpretation 使用受控令牌网和抽象解释的管道控制的形式化验证

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.289082

Pei-Hsin Ho, Adrian J. Isles, T. Kam

引用次数: 44

The design of a cache-friendly BDD library 缓存友好型BDD库的设计

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.289102

D. E. Long

引用次数: 25

Power invariant vector sequence compaction 幂不变向量序列压缩

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.289073

Ali Pinar, C. Liu

引用次数: 7

Test set compaction algorithms for combinational circuits 组合电路的测试集压缩算法

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.288615

Ilker Hamzaoglu, J. Patel

引用次数: 479

High-level variable selection for partial-scan implementation 部分扫描实现的高级变量选择

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.288564

Frank F. Hsu, J. Patel

引用次数: 14

Static power optimization of deep submicron CMOS circuits for dual V/sub T/ technology 双V/sub / T/技术下深亚微米CMOS电路的静态功率优化

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.289076

Qi Wang, S. Vrudhula

引用次数: 109

Using precomputation in architecture and logic resynthesis 预计算在体系结构和逻辑合成中的应用

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.288632

S. Hassoun, C. Ebeling

{"title":"Using precomputation in architecture and logic resynthesis","authors":"S. Hassoun, C. Ebeling","doi":"10.1145/288548.288632","DOIUrl":"https://doi.org/10.1145/288548.288632","url":null,"abstract":"Although tremendous advances have been accomplished in logic synthesis in the past two decades, in some cases logic synthesis still cannot attain the improvements possible by clever designers. This, in part, is a result of logic synthesis not optimizing across register boundaries. We focus on precomputation as a resynthesis technique capable of resynthesizing across register boundaries. By using precomputation, a critical signal is computed earlier in time, thus allowing it to be combinationally optimized with logic from previous pipeline stages. Precomputation automatically discovers some standard circuit transformations like bypassing and lookahead. In addition, precomputation can be used in conjunction with combinational logic synthesis to resynthesize a circuit to obtain better performance. The paper contributes to the understanding and development of precomputation. First, it provides a synthesis algorithm for precomputation. Second, it demonstrates how precomputation can be used to improve sequential logic resynthesis and reports the results of applying a heuristic to a subset of the MCNC benchmarks. Third, it illustrates how precomputation generalizes and unifies bypassing and lookahead-two important and practical architectural transformations often used in processor design and high level synthesis of DSP processors. Finally, it clarifies the relationships among precomputation, retiming, and implicit retiming.","PeriodicalId":224802,"journal":{"name":"1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125025869","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

Techniques for energy minimization of communication pipelines 通信管道能量最小化技术

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.289092

Gang Qu, M. Potkonjak

引用次数: 14

Graph matching-based algorithms for FPGA segmentation design 基于图匹配算法的FPGA分段设计

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) Pub Date : 1998-11-01 DOI: 10.1145/288548.288557

Yao-Wen Chang, Jai-Ming Lin, D. F. Wong

引用次数: 8