The Simple Art of SoC Design Closing the Gap between RTL and ESL /

The Simple Art of SoC Design Closing the Gap between RTL and ESL /

This book tackles head-on the challenges of digital design in the era of billion-transistor SoCs. It discusses fundamental design concepts in design and coding required to produce robust, functionally correct designs. It also provides specific techniques for measuring and minimizing complexity in RT...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Keating, Michael (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY : Springer New York : Imprint: Springer, 2011.
Θέματα:	Engineering. Computer-aided engineering. Electronic circuits. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

Embedded Software for SoC
Έκδοση: (2003)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
Έκδοση: (2005)

Closing the Gap Between ASIC & Custom Tools and Techniques for High-Performance ASIC Design /
ανά: Chinnery, David, κ.ά.
Έκδοση: (2002)

C Compilers for ASIPs Automatic Compiler Generation with LISA /
ανά: Hohenauer, Manuel, κ.ά.
Έκδοση: (2010)

FPGA Design Best Practices for Team-based Design /
ανά: Simpson, Philip
Έκδοση: (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)

Reuse Methodology Manual for System-on-a-Chip Designs
ανά: Keating, Michael, κ.ά.
Έκδοση: (2002)

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)

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

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
ανά: Gamatie, Abdoulaye
Έκδοση: (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)

Software Automatic Tuning From Concepts to State-of-the-Art Results /
Έκδοση: (2010)

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

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

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

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

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

Interconnect-Centric Design for Advanced SoC and NoC
Έκδοση: (2005)

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

Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /
ανά: Bening, Lionel, κ.ά.
Έκδοση: (2000)

Principles of Verifiable RTL Design A functional coding style supporting verification processes in Verilog /
ανά: Bening, Lionel, κ.ά.
Έκδοση: (2001)

System Design with SystemC
ανά: Grötker, Thorsten, κ.ά.
Έκδοση: (2002)

Power-Aware Testing and Test Strategies for Low Power Devices
Έκδοση: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
ανά: Bosio, Alberto, κ.ά.
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs /
ανά: Gulati, Kanupriya, κ.ά.
Έκδοση: (2010)

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

Processor and System-on-Chip Simulation
Έκδοση: (2010)

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

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

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

Focal-Plane Sensor-Processor Chips
Έκδοση: (2011)

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

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