Computing binary decision diagrams for VHDL data types
Ronald Herrmann, Hergen Pargmann · European Design Automation Conference · 1994
In this paper we present the translation of VHDL data types into a BDD representation. We describe a computation method which has been applied to the complete set of nite VHDL data types. This includes the encoding of VHDL variables in a set of binary variables and the construction of a total variable order. We are using this technique to build symbolic transition systems and during symbolic model checking for VHDL to translate propositions into BDDs.