Is methodology the highway out of verification hell?

Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso

Browse the full DAC paper archive.