Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels. - M. Bacis; Giacomo Buonanno; Fabrizio Ferrandi; Franco Fummi; Luca Gerli; Donatella Sciuto (ICCD, 1997)