Verifying clock schedules

IEEE/ACM International Conference on Computer-Aided Design

Volumn , Issue , 1992, Pages 124-131

  Szymanski, Thomas G ^a   Shenoy, Narendra ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOUNDARY VALUE PROBLEMS; COMPUTATIONAL METHODS; CONSTRAINT THEORY; MATHEMATICAL PROGRAMMING; OPTIMIZATION; TIMING CIRCUITS;

CLOCK SCHEDULE OPTIMIZATION PROBLEM; CLOCK SCHEDULE VERIFICATION PROBLEM; CLOCK SCHEDULES; POLYNOMIAL TIME ALGORITHM; RETIMING; TIMING OPTIMIZATION; TIMING VERIFICATION; WAVE PIPELINING;

FLIP FLOP CIRCUITS;

EID: 0026987108     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iccad.1992.279387     Document Type: Conference Paper

References (8)