EDA for IC Implementation, Circuit Design, and Process Technology Lavagno Luciano Innbundet / 2006 / Engelsk
Taxonomies for the Development and Verification of Digital Systems Bailey Brian Heftet / 2010 / Engelsk
Taxonomies for the Development and Verification of Digital Systems Bailey Brian Innbundet / 2005 / Engelsk
ESL Models and their Application Electronic System Level Design and Verification in Practice Bailey Brian Innbundet / 2009 / Engelsk
ESL Models and their Application Electronic System Level Design and Verification in Practice Bailey Brian Heftet / 2012 / Engelsk