OPTIMAL SYNTHESIS OF HIGH-PERFORMANCE ARCHITECTURES

被引:24
作者
GEBOTYS, CH
ELMASRY, MI
机构
[1] Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ont.
关键词
D O I
10.1109/4.121562
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
An integer programming (IP) model, which simultaneously schedules and allocates functional units, registers, and buses, is presented for synthesizing cost-contrained globally optimal architectures. This research is important for industry by providing optimal schedules that minimize interconnect costs and interface to analog and asynchronous processes, since these are seen as key to synthesizing high-performance architectures. A mathematical IP model of the architectural synthesis problem is formulated. A subset of the constraints is transformed into the node-packing problem and integral facets are extracted and generalized. Other constraints are tightened or mapped into the knapsack problem and facets are extracted and generalized. Area-delay cost functions are minimized using branch and bound on the resulting IP model. Globally optimal architectures are synthesized in faster CPU times than previous research. This research breaks new ground by: 1) providing industry with interconnect-optimized architectures since interconnect is seen as the key to high performance; 2) synthesizing globally optimal architectures in faster execution times than current heuristic techniques; 3) supporting interfaces to asynchronous and analog interfaces; and 4) supporting piece-wise linear area-delay cost functions.
引用
收藏
页码:389 / 397
页数:9
相关论文
共 15 条
[1]  
Baker K., 1974, INTRO SEQUENCING SCH
[2]  
BROOKE A, 1988, GAMS MINOS USERS MAN
[3]   SOLVING LARGE-SCALE ZERO-ONE LINEAR-PROGRAMMING PROBLEMS [J].
CROWDER, H ;
JOHNSON, EL ;
PADBERG, M .
OPERATIONS RESEARCH, 1983, 31 (05) :803-834
[4]   ALGORITHMS FOR HARDWARE ALLOCATION IN DATA PATH SYNTHESIS [J].
DEVADAS, S ;
NEWTON, AR .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1989, 8 (07) :768-781
[5]  
GEBOTYS CH, 1991, P 28 ACM IEEE DES AU, P2
[6]  
GEBOTYS CH, 1991, UWICR9101 U WAT
[7]  
GEBOTYS CH, 1991, P IEEE CUSTOM INTEGR
[8]  
GEBOTYS CH, 1991, THESIS U WATERLOO WA
[9]  
Hafer L. J., 1983, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, VCAD-2, P4, DOI 10.1109/TCAD.1983.1270016
[10]   A FORMAL APPROACH TO THE SCHEDULING PROBLEM IN HIGH-LEVEL SYNTHESIS [J].
HWANG, CT ;
LEE, JH ;
HSU, YC .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1991, 10 (04) :464-475