ESL design and verification a prescription for electronic system-level methodology - Bailey, Brian; Martin, Grant; Piziali, Andrew (Elsevier/Morgan Kaufmann, 2007)
Includes bibliographical references and index