Computing binary decision diagrams for VHDL data types.

Ronald Herrmann Hergen Pargmann Computing binary decision diagrams for VHDL data types. 578-583 1994 EURO-DAC http://doi.acm.org/10.1145/198174.198332 conf/eurodac/1994 db/conf/eurodac/euro-dac1994.html#HerrmannP94