MARC details
000 -LEADER |
fixed length control field |
02815nmm a22003255i 4500 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20230705150623.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
100715s2009 xxu| s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781441905048 |
-- |
978-1-4419-0504-8 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
621.3815 |
Edition number |
23 |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Gajski, Daniel D. |
9 (RLIN) |
19665 |
245 ## - TITLE STATEMENT |
Title |
Embedded System Design |
Medium |
[electronic resource] : |
Remainder of title |
Modeling, Synthesis and Verification / |
Statement of responsibility, etc. |
by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner. |
250 ## - EDITION STATEMENT |
Edition statement |
1st ed. 2009. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
New York, NY : |
Name of publisher, distributor, etc. |
Springer US : |
-- |
Imprint: Springer, |
Date of publication, distribution, etc. |
2009. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XXV, 352 p. |
Other physical details |
online resource. |
505 ## - FORMATTED CONTENTS NOTE |
Formatted contents note |
System Design Methodologies -- Modeling -- System Synthesis -- Software Synthesis -- Hardware Synthesis -- Verification -- Embedded Design Practice. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
Embedded 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. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Electronic circuits. |
9 (RLIN) |
19666 |
|
Topical term or geographic name entry element |
Engineering design. |
9 (RLIN) |
19667 |
|
Topical term or geographic name entry element |
Computer-aided engineering. |
9 (RLIN) |
19668 |
|
Topical term or geographic name entry element |
Software engineering. |
9 (RLIN) |
19669 |
|
Topical term or geographic name entry element |
Electronic Circuits and Systems. |
9 (RLIN) |
19670 |
|
Topical term or geographic name entry element |
Engineering Design. |
9 (RLIN) |
19671 |
|
Topical term or geographic name entry element |
Computer-Aided Engineering (CAD, CAE) and Design. |
9 (RLIN) |
19672 |
|
Topical term or geographic name entry element |
Software Engineering. |
9 (RLIN) |
19673 |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Abdi, Samar. |
Relator term |
author. |
Relationship |
aut |
-- |
http://id.loc.gov/vocabulary/relators/aut |
9 (RLIN) |
19674 |
|
Personal name |
Gerstlauer, Andreas. |
Relator term |
author. |
Relationship |
aut |
-- |
http://id.loc.gov/vocabulary/relators/aut |
9 (RLIN) |
19675 |
|
Personal name |
Schirner, Gunar. |
Relator term |
author. |
Relationship |
aut |
-- |
http://id.loc.gov/vocabulary/relators/aut |
9 (RLIN) |
19676 |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-1-4419-0504-8">https://doi.org/10.1007/978-1-4419-0504-8</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
e-Book |