Speed up of behavioral A.T.P.G. using a heuristic criterion

The legacy of Norbert Giambiasi to the University of Corsica: from behavioral testing to DEVS fault simulation

“…Giambiasi and his group proposed both of these improvements, which resulted in the previously mentioned set of publications. 18,19 The direct collaboration between Giambiasi and Santucci ended at the close of 1994, when Santucci became an associated professor at the University of Corsica and Giambiasi returned to Marseille as a professor at the University of Aix-Marseille.…”

“…17 The second step was to study how the previous resolution approach could be performed by a technique that allowed the generation system to be flexible and to evolve in order to introduce optimization criteria. 18 Such an approach led to the development of BETEGE ( be havioral te st ge nerator), a behavioral test generation system for procedural descriptions. The collaboration between Giambiasi and Santucci then was concentrated on improvement of test pattern generation for circuit descriptions written in HDLs according to their behavior.…”

“…Giambiasi and his group proposed both of these improvements, which resulted in the previously mentioned set of publications. 18,19…”

Advanced Techniques for Embedded Systems Design and Test

“…Despite the use of heuristic criteria [Che91,San92,San93], to speed up the search for test sequences, these methods remam very time-consuming because of the …”