skip to content
Embedded system design : modeling, synthesis and verification Preview this item
ClosePreview this item
Checking...

Embedded system design : modeling, synthesis and verification

Author: Daniel D Gajski
Publisher: Dordrecht ; New York : Springer, 2009.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Daniel D Gajski
ISBN: 9781441905031 1441905030 9781441905048 1441905049
OCLC Number: 428028038
Description: xxiv, 352 pages : illustrations ; 24 cm
Contents: Introduction. System-Design Challenges ; Abstraction Levels ; System Design Methodology ; System-Level Models ; Platform Design ; System Design Tools ; Summary. --
System design methodologies. Bottom-up Methodology ; Top-down Methodology ; Meet-in-the-middle Methodology ; Platform Methodology ; FPGA Methodology ; System-level Synthesis ; Processor Synthesis ; Summary. --
Modeling. Models of Computation ; System Design Languages ; System Modeling ; Processor Modeling ; Communication Modeling ; System Models ; Summary. --
System synthesis. System Design Trends ; TLM Based Design ; Automatic TLM Generation ; Automatic Mapping ; Platform Synthesis. --
Software synthesis. Preliminaries ; Software Synthesis Overview ; Code Generation ; Multi-Task Synthesis ; Internal Communication ; External Communication ; Startup Code ; Binary Image Generation ; Execution ; Summary. --
Hardware synthesis. RTL Architecture ; Input Models ; Estimation and Optimization ; Register Sharing ; Functional Unit Sharing ; Connection Sharing ; Register Merging ; Chaining and Multi-Cycling ; Functional-Unit Pipelining ; Datapath Pipelining ; Control and Datapath Pipelining ; Scheduling ; Interface Synthesis ; Summary. --
Verification. Simulation Based Methods ; Formal Verication Methods ; Comparative Analysis of Verication Methods ; System Level Verication ; Summary. --
Embedded design practice. System Level Design Tools ; Embedded Software Design Tools ; Hardware Design Tools ; Case Study ; Summary.
Responsibility: Daniel D. Gajski [and others].

Abstract:

This book on embedded systems details how to design a future multiprocessor system consisting of several processors and other components. It covers methodology, design and tool concepts and delves  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/428028038> # Embedded system design : modeling, synthesis and verification
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "428028038" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/758126#Place/dordrecht> ; # Dordrecht
   schema:about <http://dewey.info/class/004.21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/758126#Topic/programmatuurtechniek> ; # Programmatuurtechniek
   schema:about <http://experiment.worldcat.org/entity/work/data/758126#Topic/embedded_computer_systems_design> ; # Embedded computer systems--Design
   schema:about <http://experiment.worldcat.org/entity/work/data/758126#Topic/embedded_systems> ; # Embedded systems
   schema:about <http://experiment.worldcat.org/entity/work/data/758126#Topic/eingebettetes_system> ; # Eingebettetes System
   schema:about <http://experiment.worldcat.org/entity/work/data/758126#Topic/systementwurf> ; # Systementwurf
   schema:about <http://experiment.worldcat.org/entity/work/data/758126#Topic/modellen_vorm> ; # Modellen (vorm)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/758126#Person/gajski_daniel_d> ; # Daniel D. Gajski
   schema:datePublished "2009" ;
   schema:description "Introduction. System-Design Challenges ; Abstraction Levels ; System Design Methodology ; System-Level Models ; Platform Design ; System Design Tools ; Summary. -- System design methodologies. Bottom-up Methodology ; Top-down Methodology ; Meet-in-the-middle Methodology ; Platform Methodology ; FPGA Methodology ; System-level Synthesis ; Processor Synthesis ; Summary. -- Modeling. Models of Computation ; System Design Languages ; System Modeling ; Processor Modeling ; Communication Modeling ; System Models ; Summary. -- System synthesis. System Design Trends ; TLM Based Design ; Automatic TLM Generation ; Automatic Mapping ; Platform Synthesis. -- Software synthesis. Preliminaries ; Software Synthesis Overview ; Code Generation ; Multi-Task Synthesis ; Internal Communication ; External Communication ; Startup Code ; Binary Image Generation ; Execution ; Summary. -- Hardware synthesis. RTL Architecture ; Input Models ; Estimation and Optimization ; Register Sharing ; Functional Unit Sharing ; Connection Sharing ; Register Merging ; Chaining and Multi-Cycling ; Functional-Unit Pipelining ; Datapath Pipelining ; Control and Datapath Pipelining ; Scheduling ; Interface Synthesis ; Summary. -- Verification. Simulation Based Methods ; Formal Verication Methods ; Comparative Analysis of Verication Methods ; System Level Verication ; Summary. -- Embedded design practice. System Level Design Tools ; Embedded Software Design Tools ; Hardware Design Tools ; Case Study ; Summary."@en ;
   schema:description ""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."--Publisher's website."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/758126> ;
   schema:inLanguage "en" ;
   schema:name "Embedded system design : modeling, synthesis and verification"@en ;
   schema:productID "428028038" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/428028038#PublicationEvent/dordrecht_new_york_springer_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/758126#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9781441905031> ;
   schema:workExample <http://worldcat.org/isbn/9781441905048> ;
   umbel:isLike <http://d-nb.info/994910134> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/428028038> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/758126#Person/gajski_daniel_d> # Daniel D. Gajski
    a schema:Person ;
   schema:familyName "Gajski" ;
   schema:givenName "Daniel D." ;
   schema:name "Daniel D. Gajski" ;
    .

<http://experiment.worldcat.org/entity/work/data/758126#Topic/eingebettetes_system> # Eingebettetes System
    a schema:Intangible ;
   schema:name "Eingebettetes System"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/758126#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
   schema:name "Programmatuurtechniek"@en ;
    .

<http://worldcat.org/isbn/9781441905031>
    a schema:ProductModel ;
   schema:isbn "1441905030" ;
   schema:isbn "9781441905031" ;
    .

<http://worldcat.org/isbn/9781441905048>
    a schema:ProductModel ;
   schema:isbn "1441905049" ;
   schema:isbn "9781441905048" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.