system_on_a_chip_verfication-rashinkar
Pdf1
Combating Revenue Leakage 2013 03 18 webinar 2013
How tests and proofs impede one another: The need for always-on static and dynamic feedback Michael Ernst joint work with Michael Bayne University of Washington.