Approach to symbolic timing verification

Proceedings - Design Automation Conference

Volumn , Issue , 1992, Pages 410-413

  Amon, Tod ^a   Borriello, Gaetano ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL CIRCUITS; GRAPH THEORY; TIME DOMAIN ANALYSIS;

ASYNCHRONOUS SPECIFICATIONS; SYMBOLIC TIMING;

LINEAR PROGRAMMING;

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

References (6)