This paper investigates the application of simultaneous retiming and clock scheduling for optimizing synchronous circuits under setup and hold constraints. Two optimization problems are explored: (1) clock period minimization and (2) tolerance maximization to clock-signal delay variations. Exact mixed-integer linear programming formulations and efficient heuristics are given for both problems. When both long and short paths are considered, circuits optimized by the combined application of retiming and clock scheduling can achieve shorter clock periods or demonstrate greater tolerance to clock-signal delay variations than circuits optimized by retiming or clock scheduling. Experiments with benchmark circuits demonstrate the effectiveness of ...
This paper describes a linear programming (LP) formulation for performance optimization of large-sca...
In this paper, we study the problem of retiming of sequential circuits with both interconnect and ga...
Tim is a versatile and efficient tool for verifying and optimizing the timing of two-phase, level-cl...
The increasing complexity of digital circuitry makes global design optimization no longer possible: ...
The increasing complexity of digital circuitry makes global design optimization no longer possible: ...
The increasing complexity of digital circuitry makes global design optimization no longer possible: ...
(eng) The increasing complexity of digital circuitry makes global design optimization no longer poss...
Many design techniques have been proposed to optimize the performance of a digital system implemente...
This dissertation addresses timing and synchronization methodologies that are critical to the design...
This dissertation addresses timing and synchronization methodologies that are critical to the design...
This thesis describes a linear programming (LP) formulation applicable to the static timing analysis...
This thesis describes a linear programming (LP) formulation applicable to the static timing analysis...
Retiming is a powerful optimization technique for synchronize sequential circuits that relocates del...
Retiming is a widely investigated technique for performance optimization. In general, it performs ex...
The retiming transformation can be used to optimize synchronous circuits for maximum speed of operat...
This paper describes a linear programming (LP) formulation for performance optimization of large-sca...
In this paper, we study the problem of retiming of sequential circuits with both interconnect and ga...
Tim is a versatile and efficient tool for verifying and optimizing the timing of two-phase, level-cl...
The increasing complexity of digital circuitry makes global design optimization no longer possible: ...
The increasing complexity of digital circuitry makes global design optimization no longer possible: ...
The increasing complexity of digital circuitry makes global design optimization no longer possible: ...
(eng) The increasing complexity of digital circuitry makes global design optimization no longer poss...
Many design techniques have been proposed to optimize the performance of a digital system implemente...
This dissertation addresses timing and synchronization methodologies that are critical to the design...
This dissertation addresses timing and synchronization methodologies that are critical to the design...
This thesis describes a linear programming (LP) formulation applicable to the static timing analysis...
This thesis describes a linear programming (LP) formulation applicable to the static timing analysis...
Retiming is a powerful optimization technique for synchronize sequential circuits that relocates del...
Retiming is a widely investigated technique for performance optimization. In general, it performs ex...
The retiming transformation can be used to optimize synchronous circuits for maximum speed of operat...
This paper describes a linear programming (LP) formulation for performance optimization of large-sca...
In this paper, we study the problem of retiming of sequential circuits with both interconnect and ga...
Tim is a versatile and efficient tool for verifying and optimizing the timing of two-phase, level-cl...