ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /

This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon The author outlines all of the verification sub-fields at a high l...

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

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

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

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)

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)

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog /
ανά: Taraate, Vaibbhav, κ.ά.
Έκδοση: (2019)

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

Introduzione al Progetto di Sistemi Digitali
ανά: Donzellini, Giuliano, κ.ά.
Έκδοση: (2018)

Stochastic Computing: Techniques and Applications
Έκδοση: (2019)

Principles and Structures of FPGAs
Έκδοση: (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)

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design /
ανά: Moschytz, George S., κ.ά.
Έκδοση: (2019)

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

Field Programmable Logic and Applications 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings /
Έκδοση: (1999)

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings /
Έκδοση: (2018)

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers /
Έκδοση: (2019)

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)

Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings /
Έκδοση: (2000)

Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15-17, 2018, Revised Selected Papers /
Έκδοση: (2019)

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017, Revised and Extended Selected Papers /
Έκδοση: (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)

Advances in Computer Systems Architecture 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings /
Έκδοση: (2003)

Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
Έκδοση: (2000)

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers /
Έκδοση: (2019)

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers /
Έκδοση: (2019)

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers /
Έκδοση: (2019)

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