|
Volumn 9, Issue 10, 1990, Pages 1073-1084
|
Timing verification using statically sensitizable paths
|
Author keywords
[No Author keywords available]
|
Indexed keywords
DATA PROCESSING - PERT;
MATHEMATICAL TECHNIQUES - ALGORITHMS;
FALSE PATH PROBLEM;
TIMING VERIFICATION;
LOGIC CIRCUITS;
|
EID: 0025505723
PISSN: 02780070
EISSN: None
Source Type: Journal
DOI: None Document Type: Article |
Times cited : (28)
|
References (16)
|