Coverage directed test generation for functional verification using bayesian networks.

Shai Fine, Avi Ziv

Browse the full DAC paper archive.