ILP-based scheme for timing variation-aware scheduling and resource binding

The impact of process variations on circuit timing increases rapidly as technology scales. Consequently, it is important to consider timing variations at the early stages of circuit designs. Conventional high level synthesis relies on the worst-case delay analysis to guide the design space exploration, however, such worst-case timing analysis can results in overly conservative designs with pessimistic performance estimation. This paper presents a 0-1 integer linear programming (ILP) formulation that aims at reducing the impact of timing variations in high-level synthesis, by integrating overall timing yield constraints into scheduling and resource binding. The proposed approach focuses on how to achieve the maximum performance (minimum latency) under given timing yield constraints with affordable computation time. Experiment results show that significant latency reduction is achieved under different timing yield constraints, compared to traditional worst-case based approach.

[1]  Mahmut T. Kandemir,et al.  An ILP formulation for reliability-oriented high-level synthesis , 2005, Sixth international symposium on quality electronic design (isqed'05).

[2]  Shekhar Y. Borkar,et al.  Designing reliable systems from unreliable components: the challenges of transistor variability and degradation , 2005, IEEE Micro.

[3]  Wen-Tsong Shiue High level synthesis for peak power minimization using ILP , 2000, Proceedings IEEE International Conference on Application-Specific Systems, Architectures, and Processors.

[4]  Christian Prins,et al.  Applications of optimisation with Xpress-MP , 2002 .

[5]  Yuan Xie,et al.  Guaranteeing Performance Yield in High-Level Synthesis , 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.

[6]  Trevor N. Mudge,et al.  CheckT/sub c/ and minT/sub c/: timing verification and optimal clocking of synchronous digital circuits , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[7]  Natesan Venkateswaran,et al.  First-Order Incremental Block-Based Statistical Timing Analysis , 2006, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[8]  Chandramouli V. Kashyap,et al.  Block-based Static Timing Analysis with Uncertainty , 2003, ICCAD.

[9]  Taewhan Kim,et al.  Timing variation-aware high-level synthesis , 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

[10]  Robert A. Walker,et al.  ILP-based scheduling with time and resource constraints in high level synthesis , 1994, Proceedings of 7th International Conference on VLSI Design.