Haverinen, Anssi books & textbook
ESL Design and Verification: A Prescription for Electronic System Level Methodology (Systems on Silicon)
Martin, Grant Bailey, Brian Piziali, Andrew Burton, Mark Sanguinetti, John Schaefer, Florian Greenbaum, Jack Hashmi, Kamal Haverinen, Anssi Lavagno, Luciano Meredith, Michael Murray, Bill Oliver, Ian Passerone, Claudio
Morgan Kaufmann /2007-03-09 Hardcover / 488 Pages
isbn-10: 0123735513 / isbn-13: 9780123735515