|
|
|
Volumn , Issue , 1994, Pages 578-583
|
|
Computing binary decision diagrams for VHDL data types
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
BINARY SEQUENCES;
COMPUTATIONAL METHODS;
DATA STRUCTURES;
DECISION TABLES;
ENCODING (SYMBOLS);
FINITE AUTOMATA;
FORMAL LOGIC;
LOGIC CIRCUITS;
MATHEMATICAL MODELS;
MATHEMATICAL OPERATORS;
BINARY DECISION DIAGRAMS (BDDS);
BINARY VARIABLES;
SYMBOLIC TRANSITION SYSTEMS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
|
|
EID: 0028728523
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (7)
|
|
References (11)
|
