Yüklüyor…

QR Kod

New Data Structures and Algorithms for Logic Synthesis and Verification

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and futur...

Detaylı Bibliyografya
Yazar:	Amaru, Luca Gaetano (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edisyon:	1st ed. 2017.
Konular:	Electronic circuits. Microprocessors. Computer architecture. Logic design. Electronic Circuits and Systems. Processor Architectures. Logic Design.
Online Erişim:	Full-text access OPAC'ta görüntüle

Benzer Materyaller

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

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

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

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

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (2018)

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

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

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

Beyond-CMOS Technologies for Next Generation Computer Design
Baskı/Yayın Bilgisi: (2019)

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

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

Machine Learning in VLSI Computer-Aided Design
Baskı/Yayın Bilgisi: (2019)

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

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

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

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

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

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

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

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

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

Embedded Software Verification and Debugging
Baskı/Yayın Bilgisi: (2017)

Formal System Verification State-of the-Art and Future Trends /
Baskı/Yayın Bilgisi: (2018)

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

Advanced Logic Synthesis
Baskı/Yayın Bilgisi: (2018)

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS /
Yazar:: Posser, Gracieli, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Stochastic Computing: Techniques and Applications
Baskı/Yayın Bilgisi: (2019)

Separation Logic for High-level Synthesis
Yazar:: Winterstein, Felix
Baskı/Yayın Bilgisi: (2017)

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

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

Design Automation for Differential MOS Current-Mode Logic Circuits
Yazar:: Badel, Stéphane, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

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

Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Yazar:: Ridha Taha, Saleem Mohammed
Baskı/Yayın Bilgisi: (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: (2019)

Variant Construction from Theoretical Foundation to Applications
Baskı/Yayın Bilgisi: (2019)

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

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

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Baskı/Yayın Bilgisi: (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: (2018)

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