Yüklüyor…

QR Kod

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...

Detaylı Bibliyografya
Yazar:	Mehta, Ashok B. (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : 2018. Imprint: Springer,
Edisyon:	1st ed. 2018.
Konular:	Electronic circuits. Microprocessors. Computer architecture. Logic design. Electronic Circuits and Systems. Processor Architectures. Logic Design.
Online Erişim:	Full-text access

Benzer Materyaller

New Data Structures and Algorithms for Logic Synthesis and Verification
Yazar:: Amaru, Luca Gaetano
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Quick Start Guide to Verilog
Yazar:: LaMeres, Brock J.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Quick Start Guide to VHDL
Yazar:: LaMeres, Brock J.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach /
Yazar:: Izadian, Afshin
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Introduction to Logic Circuits & Logic Design with Verilog
Yazar:: LaMeres, Brock J.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Machine Learning in VLSI Computer-Aided Design
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Introduction to Logic Circuits & Logic Design with VHDL
Yazar:: LaMeres, Brock J.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Introduction to Logic Circuits & Logic Design with VHDL
Yazar:: LaMeres, Brock J.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Reliable and Energy Efficient Streaming Multiprocessor Systems
Yazar:: Das, Anup Kumar, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Design of FPGA-Based Computing Systems with OpenCL
Yazar:: Waidyasooriya, Hasitha Muthumala, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Introduction to Logic Circuits & Logic Design with Verilog
Yazar:: LaMeres, Brock J.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Fundamentals of Electronic Systems Design
Yazar:: Lienig, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Testing of Interposer-Based 2.5D Integrated Circuits
Yazar:: Wang, Ran, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
Yazar:: Rahimi, Abbas, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors /
Yazar:: Melikyan, Vazgen
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Beyond-CMOS Technologies for Next Generation Computer Design
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog /
Yazar:: Taraate, Vaibbhav
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2019.)

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias
Yazar:: Saleh, Hani, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Introduzione al Progetto di Sistemi Digitali
Yazar:: Donzellini, Giuliano, ve diğerleri
Baskı/Yayın Bilgisi: (Springer Milan : Imprint: Springer, 2018.)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
Yazar:: Zhan, Naijun, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Embedded Software Verification and Debugging
Baskı/Yayın Bilgisi: (Springer New York : Imprint: Springer, 2017.)

Formal System Verification State-of the-Art and Future Trends /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation /
Yazar:: Palchaudhuri, Ayan, ve diğerleri
Baskı/Yayın Bilgisi: (Springer India : Imprint: Springer, 2016.)

Digital Logic Design Using Verilog Coding and RTL Synthesis /
Yazar:: Taraate, Vaibbhav
Baskı/Yayın Bilgisi: (Springer India : Imprint: Springer, 2016.)

Stochastic Computing: Techniques and Applications
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar:: Przigoda, Nils, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Yazar:: Ridha Taha, Saleem Mohammed
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design /
Yazar:: Moschytz, George S.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Variant Construction from Theoretical Foundation to Applications
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2019.)

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
Yazar:: Chandrasekharan, Arun, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
Yazar:: Ray, Sandip, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Approximate Circuits Methodologies and CAD /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
Yazar:: Mohamed, Khaled Salah
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Modeling and Simulation of Invasive Applications and Architectures
Yazar:: Roloff, Sascha, ve diğerleri
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2019.)

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)