"Symbolic Functional Vector Generation for VHDL Specifications."

Fabrizio Ferrandi et al. (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics