|
|
|
Volumn , Issue , 1993, Pages 534-537
|
|
Verification of large synthesized designs
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
BOOLEAN FUNCTIONS;
ERROR ANALYSIS;
FUNCTION EVALUATION;
LOGIC CIRCUITS;
RANDOM NUMBER GENERATION;
STATISTICAL TESTS;
BOOLEAN REASONING;
LARGE SYNTHESIZED DESIGNS;
TEST GENERATORS;
ELECTRIC NETWORK SYNTHESIS;
|
|
EID: 0027832523
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (214)
|
|
References (15)
|
