New Data Structures and Algorithms for Logic Synthesis and Verification

QR kód

New Data Structures and Algorithms for Logic Synthesis and Verification

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Amaru, Luca Gaetano
Médium:	Kniha
Jazyk:	English
Vydáno:	Springer International Publishing 2020
Témata:	Engineering Circuits and Systems Processor Architectures Logic Design
On-line přístup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85724
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Podobné jednotky

ASIC/SoC Functional Design Verification. 1st ed. 2018
Autor: Mehta, Ashok B.
Vydáno: (2020)

Introduction to Logic Circuits & Logic Design with VHDL
Autor: LaMeres, Brock J.
Vydáno: (2020)

Introduction to Logic Circuits & Logic Design with Verilog
Autor: LaMeres, Brock J.
Vydáno: (2020)

High-Level Synthesis
Autor: Coussy, Philippe, a další
Vydáno: (2020)

Introduction to Logic Circuits & Logic Design with VHDL . 2nd ed.
Autor: LaMeres, Brock J.
Vydáno: (2020)

Introduction to Logic Circuits & Logic Design with Verilog. 2nd ed.
Autor: LaMeres, Brock J.
Vydáno: (2020)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
Autor: Rahimi, Abbas, a další
Vydáno: (2020)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Autor: Przigoda, Nils, a další
Vydáno: (2020)

Design of FPGA-Based Computing Systems with OpenCL. 1st ed. 2018
Autor: Waidyasooriya, Hasitha Muthumala, a další
Vydáno: (2020)

Testing of Interposer-Based 2.5D Integrated Circuits
Autor: Wang, Ran, a další
Vydáno: (2020)

Quick Start Guide to Verilog. 1st ed.
Autor: LaMeres, Brock J.
Vydáno: (2020)

Fundamentals of Electronic Systems Design
Autor: Lienig, Jens, a další
Vydáno: (2020)

Quick Start Guide to VHDL. 1st ed.
Autor: LaMeres, Brock J.
Vydáno: (2020)

Formal Verification of Simulink/Stateflow Diagrams
Autor: Zhan, Naijun, a další
Vydáno: (2020)

Low-Power Design and Power-Aware Verification. 1st ed. 2018
Autor: Khondkar, Progyna
Vydáno: (2020)

Embedded Software Verification and Debugging
Autor: Lettnin, Djones, a další
Vydáno: (2020)

Logic synthesis and verification algorithms
Autor: Hachtel, Gary D
Vydáno: (2006)

Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis
Autor: Chhetri, Sujit Rokka, a další
Vydáno: (2020)

Advanced Logic Synthesis. 1st ed. 2018
Autor: Reis, André Inácio, a další
Vydáno: (2020)

Formal System Verification. 1st ed. 2018
Autor: Drechsler, Rolf
Vydáno: (2020)

Electromigration Inside Logic Cells
Autor: Posser, Gracieli, a další
Vydáno: (2020)

Functional Verification of Programmable Embedded Architectures
Autor: Mishra, Prabhat, a další
Vydáno: (2020)

Emerging Technology and Architecture for Big-data Analytics
Autor: Chattopadhyay, Anupam, a další
Vydáno: (2020)

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Autor: Ahmed, Jameel, a další
Vydáno: (2020)

Separation Logic for High-level Synthesis
Autor: Winterstein, Felix
Vydáno: (2020)

Circuit and Interconnect Design for RF and High Bit-rate Applications
Autor: Veenstra, Hugo, a další
Vydáno: (2020)

Timing Performance of Nanometer Digital Circuits Under Process Variations
Autor: Champac, Victor, a další
Vydáno: (2020)

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators
Autor: Liu, Qiyuan, a další
Vydáno: (2020)

Reliable and Energy Efficient Streaming Multiprocessor Systems
Autor: Das, Anup Kumar, a další
Vydáno: (2020)

Simulation and Optimization of Digital Circuits
Autor: Melikyan, Vazgen
Vydáno: (2020)

Trusted Digital Circuits
Autor: Salmani, Hassan
Vydáno: (2020)

Physically Unclonable Functions
Autor: Halak, Basel
Vydáno: (2020)

Deep In-memory Architectures for Machine Learning
Autor: Kang, Mingu, a další
Vydáno: (2020)

Energy Efficient High Performance Processors
Autor: Haj-Yahya, Jawad, a další
Vydáno: (2020)

Analog Circuit Design
Autor: Steyaert, Michiel, a další
Vydáno: (2020)

Adaptive Digital Circuits for Power-Performance Range beyond Wide Voltage Scaling
Autor: Jain, Saurabh, a další
Vydáno: (2020)

Symbolic Parallelization of Nested Loop Programs
Autor: Tanase, Alexandru-Petru, a další
Vydáno: (2020)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Autor: Pagani, Santiago, a další
Vydáno: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
Autor: Martens, Ewout S. J., a další
Vydáno: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
Autor: Schliebusch, Oliver, a další
Vydáno: (2020)