Loading…

QR Code

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

Full description

Bibliographic Details
Main Author:	Mehta, Ashok B. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	e-Book
Language:	English
Published:	Cham : Springer International Publishing : 2018. Imprint: Springer,
Edition:	1st ed. 2018.
Subjects:	Electronic circuits. Microprocessors. Computer architecture. Logic design. Electronic Circuits and Systems. Processor Architectures. Logic Design.
Online Access:	Full-text access

Similar Items

New Data Structures and Algorithms for Logic Synthesis and Verification
by: Amaru, Luca Gaetano
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Quick Start Guide to Verilog
by: LaMeres, Brock J.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Quick Start Guide to VHDL
by: LaMeres, Brock J.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach /
by: Izadian, Afshin
Published: (Springer International Publishing : Imprint: Springer, 2019.)

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

Introduction to Logic Circuits & Logic Design with Verilog
by: LaMeres, Brock J.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Machine Learning in VLSI Computer-Aided Design
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Introduction to Logic Circuits & Logic Design with VHDL
by: LaMeres, Brock J.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Introduction to Logic Circuits & Logic Design with VHDL
by: LaMeres, Brock J.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Reliable and Energy Efficient Streaming Multiprocessor Systems
by: Das, Anup Kumar, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Design of FPGA-Based Computing Systems with OpenCL
by: Waidyasooriya, Hasitha Muthumala, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Introduction to Logic Circuits & Logic Design with Verilog
by: LaMeres, Brock J.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Fundamentals of Electronic Systems Design
by: Lienig, Jens, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Testing of Interposer-Based 2.5D Integrated Circuits
by: Wang, Ran, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
by: Rahimi, Abbas, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors /
by: Melikyan, Vazgen
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Beyond-CMOS Technologies for Next Generation Computer Design
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Published: (Springer International Publishing : Imprint: Springer, 2017.)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
by: Mehta, Ashok B.
Published: (Springer International Publishing : Imprint: Springer, 2016.)

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog /
by: Taraate, Vaibbhav
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias
by: Saleh, Hani, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Introduzione al Progetto di Sistemi Digitali
by: Donzellini, Giuliano, et al.
Published: (Springer Milan : Imprint: Springer, 2018.)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
by: Zhan, Naijun, et al.
Published: (Springer International Publishing : Imprint: Springer, 2017.)

Embedded Software Verification and Debugging
Published: (Springer New York : Imprint: Springer, 2017.)

Formal System Verification State-of the-Art and Future Trends /
Published: (Springer International Publishing : Imprint: Springer, 2018.)

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation /
by: Palchaudhuri, Ayan, et al.
Published: (Springer India : Imprint: Springer, 2016.)

Digital Logic Design Using Verilog Coding and RTL Synthesis /
by: Taraate, Vaibbhav
Published: (Springer India : Imprint: Springer, 2016.)

Stochastic Computing: Techniques and Applications
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils, et al.
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Reversible Logic Synthesis Methodologies with Application to Quantum Computing
by: Ridha Taha, Saleem Mohammed
Published: (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 /
by: Moschytz, George S.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Variant Construction from Theoretical Foundation to Applications
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
by: Ray, Sandip, et al.
Published: (Springer International Publishing : Imprint: Springer, 2019.)

Approximate Circuits Methodologies and CAD /
Published: (Springer International Publishing : Imprint: Springer, 2019.)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
by: Mohamed, Khaled Salah
Published: (Springer International Publishing : Imprint: Springer, 2016.)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Published: (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 /
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Modeling and Simulation of Invasive Applications and Architectures
by: Roloff, Sascha, et al.
Published: (Springer Nature Singapore : Imprint: Springer, 2019.)

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Published: (Springer International Publishing : Imprint: Springer, 2017.)