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

32nd Design Automation Conference最新文献

筛选
英文 中文
Synthesis of Software Programs for Embedded Control Applications 嵌入式控制应用软件程序的综合
32nd Design Automation Conference Pub Date : 1999-06-01 DOI: 10.1145/217474.217594
F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, Attila Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, Kei Suzuki
{"title":"Synthesis of Software Programs for Embedded Control Applications","authors":"F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, Attila Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, Kei Suzuki","doi":"10.1145/217474.217594","DOIUrl":"https://doi.org/10.1145/217474.217594","url":null,"abstract":"Software components for embedded reactive real-time applications must satisfy tight code size and run-time constraints. Cooperating Finite State Machines provide a convenient intermediate format for embedded system co-synthesis, between high-level specification languages and software or hardware implementations. We propose a software generation methodology that takes advantage of the very restricted class of specifications and allows for tight control over the implementation cost. The methodology exploits several techniques from the domain of Boolean function optimization. We also describe how the simplified control/data-flow graph used as an intermediate representation can be used to accurately estimate the size and timing cost of the final executable code.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129669136","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}
引用次数: 141
Logic Synthesis for Engineering Change 工程变更的逻辑综合
32nd Design Automation Conference Pub Date : 1999-03-01 DOI: 10.1145/217474.217604
Chih-Chang Lin, Kuang-Chien Chen, M. Marek-Sadowska
{"title":"Logic Synthesis for Engineering Change","authors":"Chih-Chang Lin, Kuang-Chien Chen, M. Marek-Sadowska","doi":"10.1145/217474.217604","DOIUrl":"https://doi.org/10.1145/217474.217604","url":null,"abstract":"In the process of VLSI design, specifications are often changed. It is desirable that such changes will not lead to a very different design so that a large part of engineering effort can be preserved. We consider synthesis algorithms for handling such engineering changes. Given a synthesized network, our algorithm modifies it minimally to realize a new specification.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"254 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116878987","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}
引用次数: 106
On Optimal Board-Level Routing for FPGA-based Logic Emulation 基于fpga逻辑仿真的最优板级路由
32nd Design Automation Conference Pub Date : 1997-03-01 DOI: 10.1145/217474.217586
Wai-Kei Mak, Martin D. F. Wong
{"title":"On Optimal Board-Level Routing for FPGA-based Logic Emulation","authors":"Wai-Kei Mak, Martin D. F. Wong","doi":"10.1145/217474.217586","DOIUrl":"https://doi.org/10.1145/217474.217586","url":null,"abstract":"In this paper, we consider a board-level routing problem which is applicable to FPGA-based logic emulation systems such as the Realizer system [3] and the Enterprise Emulation System [5] manufactured by Quickturn Systems. For the case where all nets are two-terminal nets, we present an O(n/sup 2/)-time optimal algorithm where n is the number of nets. Our algorithm guarantees 100% routing completion if the number of inter-chip signal pins on each FPGA chip in the logic emulation system is less than or equal to the number of I/O pins on the chip. Our algorithm is based on iteratively finding Euler circuits in graphs. We also prove that the routing problem with multi-terminal nets is NP-complete.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122359324","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}
引用次数: 35
Boolean Matching for Incompletely Specified Functions 不完全指定函数的布尔匹配
32nd Design Automation Conference Pub Date : 1997-02-01 DOI: 10.1145/217474.217505
Kuo-Hua Wang, TingTing Hwang
{"title":"Boolean Matching for Incompletely Specified Functions","authors":"Kuo-Hua Wang, TingTing Hwang","doi":"10.1145/217474.217505","DOIUrl":"https://doi.org/10.1145/217474.217505","url":null,"abstract":"Boolean matching is to check the equivalence of two functions under input permutation and input/output phase assignment. In this paper, we will address Boolean matching problem for incompletely specified functions. We will formulate the searching of input variable mapping between two target functions as a logic equation by using multiple-valued function. Based on this equation, a Boolean matching algorithm will be proposed. Delay and power dissipation can also be taken into consideration when this method is used for technology mapping. Experimental results on a set of benchmarks show that our algorithm is indeed very effective in solving Boolean matching problem for incompletely specified functions.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134555769","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}
引用次数: 14
New Performance-Driven FPGA Routing Algorithms 新型性能驱动的FPGA路由算法
32nd Design Automation Conference Pub Date : 1996-12-01 DOI: 10.1145/217474.217589
M. J. Alexander, G. Robins
{"title":"New Performance-Driven FPGA Routing Algorithms","authors":"M. J. Alexander, G. Robins","doi":"10.1145/217474.217589","DOIUrl":"https://doi.org/10.1145/217474.217589","url":null,"abstract":"Motivated by the goal of increasing the performance of FPGA-based designs, we propose effective Steiner and arborescence FPGA routing algorithms. Our graph-based Steiner tree constructions have provably-good performance bounds and outperform the best known ones in practice, while our arborescence heuristics produce routing solutions with optimal source-sink pathlengths at a reasonably low wirelength penalty. We have incorporated our algorithms into an actual FPGA router which routed a number of industrial circuits using channel widths considerably smaller than was previously possible.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127511282","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}
引用次数: 134
Register Minimization beyond Sharing among Variables 在变量之间共享之外的寄存器最小化
32nd Design Automation Conference Pub Date : 1996-12-01 DOI: 10.1145/217474.217524
Tsung-Yi Wu, Y. Lin
{"title":"Register Minimization beyond Sharing among Variables","authors":"Tsung-Yi Wu, Y. Lin","doi":"10.1145/217474.217524","DOIUrl":"https://doi.org/10.1145/217474.217524","url":null,"abstract":"Traditionally, it is assumed that every variable in the input HDL (Hardware Description Language) behavioral description needs to be held in a register; A register can be shared by multiple variables if they have mutually disjoint lifetime intervals. This approach is effective for signal-flow-like computations such as various DSP algorithms. However, it is not the best for the synthesis of control-dominated circuits, which usually have variables/signals of different bit-width as well as very long lifetime. To go beyond register minimization by lifetime-analysis-based sharing, we propose holding some variables in the state registers, some signal nets, or some unclocked sequential networks. We have implemented the proposed method in a software program called VReg. Experimental results have demonstrated that Vreg minimizes the number of registers more effectively than the lifetime-analysis-based approach does. Better register minimization also leads to both smaller area and faster designs.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116004216","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}
引用次数: 4
Tutorial: ASIC Prototyping 教程:ASIC原型
32nd Design Automation Conference Pub Date : 1995-12-01 DOI: 10.1109/DAC.1995.249978
G. Saucier
{"title":"Tutorial: ASIC Prototyping","authors":"G. Saucier","doi":"10.1109/DAC.1995.249978","DOIUrl":"https://doi.org/10.1109/DAC.1995.249978","url":null,"abstract":"The tutorial will present the interest and challenges of ASIC prototyping.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130329824","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
A Performance and Routability Driven Router for FPGAs Considering Path Delays 考虑路径延迟的fpga性能和可达性驱动路由器
32nd Design Automation Conference Pub Date : 1995-12-01 DOI: 10.1145/217474.217588
Yuh-Sheng Lee, A. Wu
{"title":"A Performance and Routability Driven Router for FPGAs Considering Path Delays","authors":"Yuh-Sheng Lee, A. Wu","doi":"10.1145/217474.217588","DOIUrl":"https://doi.org/10.1145/217474.217588","url":null,"abstract":"This paper presents a new performance and routability driven router for symmetrical array based Field Programmable Gate Arrays (FPGAs). The objectives of our proposed routing algorithm are twofold: (1) improve the routability of the design (i.e., minimize the maximumrequired routing channel density) and (2) improve the overall performance of the design (i.e., minimize the overall path delay). Initially, nets are routed sequentially according to their criticalities and routabilities. The nets/paths violating the routing-resource and timing constraints are then resolved iteratively by a rip-up-and-rerouter, which is guided by a simulated evolution based optimization technique. The proposed algorithm considers the path delays and routability throughout the entire routing process. Experimental results show that our router can significantly improve routability and reduce delay over many existing routing algorithms.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132017070","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}
引用次数: 67
Performance Analysis of Embedded Software Using Implicit Path Enumeration 基于隐式路径枚举的嵌入式软件性能分析
32nd Design Automation Conference Pub Date : 1995-11-01 DOI: 10.1145/216636.216666
Yau-Tsun Steven Li, S. Malik
{"title":"Performance Analysis of Embedded Software Using Implicit Path Enumeration","authors":"Yau-Tsun Steven Li, S. Malik","doi":"10.1145/216636.216666","DOIUrl":"https://doi.org/10.1145/216636.216666","url":null,"abstract":"Embedded computer systems are characterized by the presence of a processor running application specific software. A large number of these systems must satisfy real-time constraints. This paper examines the problem of determining the bound on the running time of a given program on a given processor. An important aspect of this problem is determining the extreme case program paths. The state of the art solution here relies on an explicit enumeration of program paths. This runs out of steam rather quickly since the number of feasible program paths is typically exponential in the size of the program. We present a solution for this problem, which considers all paths implicitly by using integer linear programming. This solution is implemented in the program cinderella which currently targets a popular embedded processor - the Intel i960. The preliminary results of using this tool are presented here.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"97 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129844045","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}
引用次数: 33
Performance-Driven Partitioning Using a Replication Graph Approach 使用复制图方法的性能驱动分区
32nd Design Automation Conference Pub Date : 1995-06-12 DOI: 10.1109/DAC.1995.250091
Lung-Tien Liu, M. Kuo, Chung-Kuan Cheng, T. C. Hu
{"title":"Performance-Driven Partitioning Using a Replication Graph Approach","authors":"Lung-Tien Liu, M. Kuo, Chung-Kuan Cheng, T. C. Hu","doi":"10.1109/DAC.1995.250091","DOIUrl":"https://doi.org/10.1109/DAC.1995.250091","url":null,"abstract":"An efficient algorithm is proposed to tackle the performance-driven partitioning problem using retiming and replication. We devise a replication graph to model the composite effect of replication and retiming. With the replication graph, we formulate the problem as an integer linear programming problem. A heuristic algorithm is derived to solve the problem by exploring the dual program of its linear programming relaxation.","PeriodicalId":422297,"journal":{"name":"32nd Design Automation Conference","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116858517","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
下一页 尾页
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学术官方微信