文档介绍：Embedded Systems
For further volumes:
ies/8563
Brian Bailey · Grant Martin
ESL Models and their
Application
Electronic System Level Design
and Verification in Practice
123
Brian Bailey Grant Martin
9100 SW 161st Ave Tensilica, Inc.
Beaverton OR 97007 3255-6 Scott Boulevard
USA Santa Clara CA 95054-3013
brian_bailey@ USA
gmartin@
ISBN 978-1-4419-0964-0 e-ISBN 978-1-4419-0965-7
DOI -1-4419-0965-7
Springer New York Dordrecht Heidelberg London
Library of Congress Control Number: 2009941313
© Springer Science+Business Media, LLC 2010
All rights reserved. This work may not be translated or copied in whole or in part without the written
permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York,
NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in
connection with any form of information storage and retrieval, electronic adaptation, computer software,
or by similar or dissimilar methodology now known or hereafter developed is forbidden.
The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are
not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject
to proprietary rights.
Printed on acid-free paper
Springer is part of Springer Science+Business Media ()
Preface
The book ESL Design and Verification (Elsevier 2007) [1] coincided with a point
in time at which the authors believed that ESL had started to e something
real and tangible. Before then it had been a collection of university projects, iso-
lated pockets of tool development, and even patchier levels of adoption. Most of
the tools that were created were based on proprietary languages, with little if any
external interfaces or extensibility. When we started to write the book, we believed
that ESL had turned the corner and that we were at the starting point of something
big happening in the indust