Coverage of formal properties based on a high-level fault model and functional ATPG.

Franco Fummi, Graziano Pravadelli, Franco Toto

Browse the full ETS paper archive.