|
|
|
Volumn , Issue , 1993, Pages 513-516
|
|
Efficient symbolic support manipulation
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ARRAYS;
BINARY SEQUENCES;
BOOLEAN FUNCTIONS;
CODES (SYMBOLS);
DECISION THEORY;
ELECTRIC NETWORK SYNTHESIS;
FUNCTION EVALUATION;
LOGIC GATES;
MATHEMATICAL MODELS;
OPTIMIZATION;
SWITCHING FUNCTIONS;
BINARY DECISION DIAGRAM (BDD);
DIRECTED ACYCLIC GRAPH (DAG);
FIELD PROGRAMMABLE GATE ARRAYS (FPGA);
LOGIC REPRESENTATION;
SYMBOLIC SUPPORT MANIPULATION;
ALGORITHMS;
|
|
EID: 0027871949
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (6)
|
|
References (11)
|
