Teaching Future Verification Engineers: The Forgotten Side of Logic Design. - Füsun Özgüner; Duane W. Marhefka; Joanne DeGroat; Bruce Wile; Jennifer Stofer; Lyle Hanrahan (DAC, 2001)