Path-Oriented Test Data Generation of Behavioral VHDL Description. - Christophe Paoli; Marie-Laure Nivet; Jean François Santucci; Antoine Campana (DELTA, 2002)