EFFICIENT ALGORITHMS FOR SOLVING THE FALSE PATH PROBLEM IN TIMING VERIFICATION.

Volumn , Issue , 1987, Pages 44-47

  Benkoski, J ^a   Vanden Meersch, E ^a   Claesen, L ^a   De Man, H ^a  

^a Belg ^*

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS;

FALSE PATHS; LOGIC/TIMING BEHAVIOR MODELING; TIMING VERIFIERS;

INTEGRATED CIRCUITS, VLSI;

EID: 0023600378     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)