![]() |
Volumn , Issue , 2007, Pages 13-19
|
Improved design debugging using maximum satisfiability
|
Author keywords
[No Author keywords available]
|
Indexed keywords
BOOLEAN FUNCTIONS;
COMPUTER AIDED DESIGN;
EMBEDDED SYSTEMS;
ERROR ANALYSIS;
AUTOMATED TECHNIQUES;
CURRENT STATE;
EMPIRICAL RESULTS;
ERROR SOURCES;
MANUAL TASKS;
MAX SAT;
MAXIMUM SATISFIABILITY;
NOVEL DESIGN;
ORDERS-OF-MAGNITUDE;
PRE PROCESSING STEP;
RUN TIME;
SOC DESIGNS;
TIME CONSUMING;
FORMAL METHODS;
|
EID: 44649101570
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/FAMCAD.2007.26 Document Type: Conference Paper |
Times cited : (106)
|
References (11)
|