Veronique Pla, Jean François Santucci, Norbert Giambiasi. On the modeling and testing of VHDL behavioral descriptions of sequential circuits. In Proceedings of the European Design Automation Conference 1993, EURO-DAC '93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993. pages 440-445, IEEE Computer Society, 1993. [doi]
Abstract is missing.