Embedded System Design Modeling, Synthesis and Verification /

Embedded System Design Modeling, Synthesis and Verification /

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 disc...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Gajski, Daniel D. (Συγγραφέας), Abdi, Samar (Συγγραφέας), Gerstlauer, Andreas (Συγγραφέας), Schirner, Gunar (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2009.
Θέματα:	Engineering. Software engineering. Computer-aided engineering. Engineering design. Electronic circuits. Circuits and Systems. Engineering Design. Computer-Aided Engineering (CAD, CAE) and Design. Software Engineering/Programming and Operating Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Distributed, Embedded and Real-time Java Systems
Έκδοση: (2012)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Έκδοση: (2010)

Adaptable Embedded Systems
Έκδοση: (2013)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

Cloud Connectivity and Embedded Sensory Systems
ανά: Spaanenburg, Lambert, κ.ά.
Έκδοση: (2011)

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
ανά: Keinert, Joachim, κ.ά.
Έκδοση: (2011)

Integrated Optical Interconnect Architectures for Embedded Systems
Έκδοση: (2013)

Run-time Adaptation for Reconfigurable Embedded Processors
ανά: Bauer, Lars, κ.ά.
Έκδοση: (2011)

Heterogeneous Multicore Processor Technologies for Embedded Systems
ανά: Uchiyama, Kunio, κ.ά.
Έκδοση: (2012)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick R.
Έκδοση: (2010)

High-Level Verification Methods and Tools for Verification of System-Level Designs /
ανά: Kundu, Sudipta, κ.ά.
Έκδοση: (2011)

Open Verification Methodology Cookbook
ανά: Glasser, Mark
Έκδοση: (2009)

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
ανά: Ahuja, Sumit, κ.ά.
Έκδοση: (2012)

Advanced Techniques in Logic Synthesis, Optimizations and Applications
Έκδοση: (2011)

Analog Layout Synthesis A Survey of Topological Approaches /
Έκδοση: (2011)

FPGA Design Best Practices for Team-based Design /
ανά: Simpson, Philip
Έκδοση: (2010)

On-Chip Interconnect with aelite Composable and Predictable Systems /
ανά: Hansson, Andreas, κ.ά.
Έκδοση: (2011)

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /
ανά: Verhulst, Eric, κ.ά.
Έκδοση: (2011)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav, κ.ά.
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
ανά: Lin, Youn-Long Steve, κ.ά.
Έκδοση: (2010)

Power-efficient System Design
ανά: Panda, Preeti Ranjan, κ.ά.
Έκδοση: (2010)

Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology /
Έκδοση: (2011)

Principles of VLSI RTL Design A Practical Guide /
ανά: Churiwala, Sanjay, κ.ά.
Έκδοση: (2011)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations /
ανά: Garg, Rajesh, κ.ά.
Έκδοση: (2010)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil, κ.ά.
Έκδοση: (2010)

The Simple Art of SoC Design Closing the Gap between RTL and ESL /
ανά: Keating, Michael
Έκδοση: (2011)

Bio/CMOS Interfaces and Co-Design
ανά: Carrara, Sandro
Έκδοση: (2013)

SystemC: From the Ground Up
ανά: Black, David C., κ.ά.
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie, κ.ά.
Έκδοση: (2010)

Process Variations and Probabilistic Integrated Circuit Design
Έκδοση: (2012)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
ανά: Tajalli, Armin, κ.ά.
Έκδοση: (2010)

Low-Power Variation-Tolerant Design in Nanometer Silicon
Έκδοση: (2011)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2006)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2008)

Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
ανά: Holleman, Jeremy, κ.ά.
Έκδοση: (2011)

Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach /
Έκδοση: (2011)

Energy Harvesting Systems Principles, Modeling and Applications /
Έκδοση: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών