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)

Symbolic Functional Vector Generation for VHDL Specifications. - Fabrizio Ferrandi; Franco Fummi; Luca Gerli; Donatella Sciuto (DATE, 1999)