ESL Models and their Application Electronic System Level Design and Verification in Practice /

ESL Models and their Application Electronic System Level Design and Verification in Practice /

Εμφάνιση άλλων εκδόσεων (1)

ESL Models and their Application: Electronic System Level Design and Verification in Practice Grant Martin Brian Bailey This book arises from experience the authors have gained from years of work as industry practitioners in the field of Electronic System Level (ESL) design and verification. At the...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Bailey, Brian (Συγγραφέας), Martin, Grant (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2010.
Σειρά:	Embedded Systems
Θέματα:	Engineering. Computer logic. Computer-aided engineering. Electronic circuits. Circuits and Systems. Logics and Meanings of Programs. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

ESL Models and their Application Electronic System Level Design and Verification in Practice
ανά: Bailey, Brian
Έκδοση: (2010)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

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

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

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

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

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

Nano-Electronic Devices Semiclassical and Quantum Transport Modeling /
Έκδοση: (2011)

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

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

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

Ultra-thin Chip Technology and Applications
Έκδοση: (2011)

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

Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances /
ανά: Kanekawa, Nobuyasu, κ.ά.
Έκδοση: (2011)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

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

Nanosystems Design and Technology
ανά: Micheli, Giovanni, κ.ά.
Έκδοση: (2009)

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

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

Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications
ανά: Battezzati, Niccolò, κ.ά.
Έκδοση: (2011)

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

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

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

Multiprocessor System-on-Chip Hardware Design and Tool Integration /
Έκδοση: (2011)

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

Scalable Multi-core Architectures Design Methodologies and Tools /
Έκδοση: (2012)

Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield /
ανά: Abu-Rahma, Mohamed H., κ.ά.
Έκδοση: (2013)

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

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

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

Understanding and Using the Controller Area Network Communication Protocol Theory and Practice /
ανά: Di Natale, Marco, κ.ά.
Έκδοση: (2012)

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

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Έκδοση: (2011)

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

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_leb5oc68er6rh458iqdbj42n0s