|
Volumn , Issue , 1995, Pages 353-359
|
Sequential logic path delay test generation by symbolic analysis
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
BOOLEAN FUNCTIONS;
COMBINATORIAL CIRCUITS;
ERROR DETECTION;
FAILURE ANALYSIS;
FLIP FLOP CIRCUITS;
SEQUENTIAL MACHINES;
VECTORS;
BINARY DECISION DIAGRAMS;
MULTIVALUED ALGEBRA;
SEQUENTIAL LOGIC PATH DELAY TEST GENERATION;
SYMBOLIC ANALYSIS;
VALUE PROPAGATION RULE;
SEQUENTIAL CIRCUITS;
|
EID: 0029541923
PISSN: 10817735
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (10)
|
References (16)
|