On the modeling and testing of VHDL behavioral descriptions of sequential circuits. - Veronique Pla; Jean François Santucci; Norbert Giambiasi (EURO-DAC, 1993)