Text ( visual ) : unmediated ESL models and their application : electronic system level design and verification in practice / Brian Bailey, Grant Martin. -- New York : Springer , c2010. -- xxiv, 446 p. : ill. ; 25 cm. -- (Embedded systems / Nikil Dutt, Grant Martin, Peter Marwedel, series editors). -- Includes bibliographical references and index. -- ISBN 9781441909640 ; (BB01460448) ; https://ci.nii.ac.jp/ncid/BB01460448 Author Heading(s): Bailey, Brian ; Martin, Grant (Grant Edmund). -- Classification(s): DC22 : 621.3815. -- Subject Heading(s): LCSH : Embedded computer systems -- Design and construction ; LCSH : Embedded computer systems -- Industrial applications