Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

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

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh Sandeep K. Shukla This book introduces novel techniques for generating low-power hardware from a high-level description of a design in terms of Concurrent Action-Oriented Specifications (CAOS). It also describes...

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

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

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

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

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

Low Power Networks-on-Chip
Έκδοση: (2011)

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

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

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

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

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
ανά: Shukla, Sandeep K
Έκδοση: (2010)

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

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

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

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

Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits
Έκδοση: (2001)

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

Ultra Low-Power Electronics and Design
Έκδοση: (2004)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
ανά: Patra, Priyardarsan, κ.ά.
Έκδοση: (2008)

Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration /
ανά: Zjajo, Amir, κ.ά.
Έκδοση: (2011)

Memory-Based Logic Synthesis
ανά: Sasao, Tsutomu
Έκδοση: (2011)

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

Reconfigurable Computing From FPGAs to Hardware/Software Codesign /
Έκδοση: (2011)

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

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

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

Power-constrained Testing of VLSI Circuits
ανά: Nicolici, Nicola, κ.ά.
Έκδοση: (2003)

Power-Aware Testing and Test Strategies for Low Power Devices
ανά: Girard, Patrick
Έκδοση: (2010)

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

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
ανά: Patel, Hiren D., κ.ά.
Έκδοση: (2005)

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®
ανά: Bhatnagar, Himanshu
Έκδοση: (2002)

Design of Energy-Efficient Application-Specific Instruction Set Processors
ανά: Glökler, Tilman, κ.ά.
Έκδοση: (2004)

The e Hardware Verification Language
ανά: Iman, Sasan, κ.ά.
Έκδοση: (2004)

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

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

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

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

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

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

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

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

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

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