Computing binary decision diagrams for VHDL data types.

Ronald Herrmann Hergen Pargmann

Published in: EURO-DAC (1994)

Keyphrases

data types
binary decision diagrams
data model
database management systems
data structure
user defined
boolean functions
database systems
symbolic model checking
data mining algorithms
abstract data types
data mining
multi dimensional
planning problems