Skip to content

Probabilistic regression suites for functional verification.

Shai Fine, Shmuel Ur, Avi Ziv

VenueA*DAC
Year2004
ProceedingsDAC

Browse the full DAC paper archive.