Practical Asic Design and VerificationFarzad Nekoogar, Paul Brown, Tomislav Ilic · First published 2010Open the Tome