000			03175cam a22005295i 4500
001			7917514
003			OSt
005			20210823115226.0
006			m d
007			cr n
008			090611s2009 xxu| s |||| 0|eng d
020			_a9789400702561
024	7		_a10.1007/978-1-4419-0504-8 _2doi
035			_a(WaSeSS)ssj0000317403
038			_akhadija
040			_dWaSeSS _c.
050		4	_aTK7888.4
072		7	_aTJFC _2bicssc
072		7	_aTEC008010 _2bisacsh
082	0	4	_a004.21 _223 _bMAR
100	1		_aMarwedel, Peter _eauthor. _961206
210	1	0	_aEmbedded System Design
245	1	0	_aEmbedded System Design / _cPeter Marwedel
250			_a2nd ed
505	0		_aSystem Design Methodologies -- Modeling -- System Synthesis -- Software Synthesis -- Hardware Synthesis -- Verification -- Embedded Design Practice.
506			_aLicense restrictions may limit access.
520			_aEmbedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail: . System modeling at different abstraction levels . Model-based system design . Hardware/Software codesign . Software and Hardware component synthesis . System verification This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering.
563			_apaper back
650		0	_aEngineering.
650		0	_aSoftware engineering. _92256
650		0	_aComputer aided design. _910558
650		0	_aSystems engineering. _91386
650	1	4	_aEngineering. _981603
650	2	4	_aCircuits and Systems. _981558
650	2	4	_aComputer-Aided Engineering (CAD, SMME) and Design. _981559
650	2	4	_aSoftware Engineering/Programming and Operating Systems. _981560
700	1		_aAbdi, Samar. _eauthor. _981561
700	1		_aGerstlauer, Andreas. _eauthor. _981562
700	1		_aSchirner, Gunar. _eauthor. _981563
710	2		_aSpringerLink (Online service) _981564
773	0		_tSpringer eBooks
773		0	_tSpringerLink ebooks - Engineering (2009)
776	0	8	_iPrinted edition: _z9781441905031
856	4	0	_uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio7917514 _zFull text available from SpringerLink ebooks - Engineering (2009)
910			_aVendor-generated brief record
942			_2ddc _cBK
999			_c32933 _d32933