Low-Power Design and Power-Aware Verification

Low-Power Design and Power-Aware Verification

Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project. This book is a first approach to establishing...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Khondkar, Progyna (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Θέματα:	Electronic circuits. Software engineering. Microprocessors. Computer software-Reusability. Circuits and Systems. Software Engineering. Processor Architectures. Performance and Reliability.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Formal Verification of Floating-Point Hardware Design A Mathematical Approach /
ανά: Russinoff, David M., κ.ά.
Έκδοση: (2019)

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
ανά: Wang, Zheng, κ.ά.
Έκδοση: (2018)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings /
Έκδοση: (2003)

Test Generation of Crosstalk Delay Faults in VLSI Circuits
ανά: Jayanthy, S., κ.ά.
Έκδοση: (2019)

Dependable Multicore Architectures at Nanoscale
Έκδοση: (2018)

The Hardware Trojan War Attacks, Myths, and Defenses /
Έκδοση: (2018)

Power Estimation on Electronic System Level using Linear Power Models
ανά: Schuermans, Stefan, κ.ά.
Έκδοση: (2019)

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
ανά: Mehta, Ashok B., κ.ά.
Έκδοση: (2018)

Silicon Photonics & High Performance Computing Proceedings of CSI 2015 /
Έκδοση: (2018)

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16-18, 2017, Revised Selected Papers /
Έκδοση: (2018)

Fundamentals of Electromigration-Aware Integrated Circuit Design
ανά: Lienig, Jens, κ.ά.
Έκδοση: (2018)

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses /
ανά: Kochs, Hans-Dieter, κ.ά.
Έκδοση: (2018)

Formal System Verification State-of the-Art and Future Trends /
Έκδοση: (2018)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
ανά: Pagani, Santiago, κ.ά.
Έκδοση: (2018)

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias
ανά: Saleh, Hani, κ.ά.
Έκδοση: (2018)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ανά: Przigoda, Nils, κ.ά.
Έκδοση: (2018)

Data and Energy Integrated Communication Networks A Brief Introduction /
ανά: Hu, Jie, κ.ά.
Έκδοση: (2018)

Beyond-CMOS Technologies for Next Generation Computer Design
Έκδοση: (2019)

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing /
ανά: Haj-Yahya, Jawad, κ.ά.
Έκδοση: (2018)

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures
ανά: Weichslgartner, Andreas, κ.ά.
Έκδοση: (2018)

Modeling and Simulation of Invasive Applications and Architectures
ανά: Roloff, Sascha, κ.ά.
Έκδοση: (2019)

CMOS Circuits for Biological Sensing and Processing
Έκδοση: (2018)

Energy-Efficient Smart Temperature Sensors in CMOS Technology
ανά: Souri, Kamran, κ.ά.
Έκδοση: (2018)

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017 /
Έκδοση: (2018)

5G and E-Band Communication Circuits in Deep-Scaled CMOS
ανά: Vigilante, Marco, κ.ά.
Έκδοση: (2018)

Long-Term Reliability of Nanometer VLSI Systems Modeling, Analysis and Optimization /
ανά: Tan, Sheldon, κ.ά.
Έκδοση: (2019)

Brain-Machine Interface Closed-loop Bidirectional System Design /
ανά: Liu, Xilin, κ.ά.
Έκδοση: (2018)

Integrated Circuit and System Design Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings /
Έκδοση: (2004)

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach /
Έκδοση: (2019)

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors /
ανά: Melikyan, Vazgen, κ.ά.
Έκδοση: (2018)

Quick Start Guide to VHDL
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection /
ανά: Salmani, Hassan, κ.ά.
Έκδοση: (2018)

Machine Learning in VLSI Computer-Aided Design
Έκδοση: (2019)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Design of FPGA-Based Computing Systems with OpenCL
ανά: Waidyasooriya, Hasitha Muthumala, κ.ά.
Έκδοση: (2018)

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach /
ανά: Izadian, Afshin, κ.ά.
Έκδοση: (2019)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Quick Start Guide to Verilog
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Reliable and Energy Efficient Streaming Multiprocessor Systems
ανά: Das, Anup Kumar, κ.ά.
Έκδοση: (2018)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
ανά: Ray, Sandip, κ.ά.
Έκδοση: (2019)

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