Yüklüyor…

QR Kod

Separation Logic for High-level Synthesis

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial 'state of the art'. Implementing computation on custo...

Detaylı Bibliyografya
Yazar:	Winterstein, Felix (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.
Seri Bilgileri:	Springer Theses, Recognizing Outstanding Ph.D. Research,
Konular:	Electronic circuits. Computer storage devices. Memory management (Computer science). Logic design. Compilers (Computer programs). Electronic Circuits and Systems. Computer Memory Structure. Logic Design. Compilers and Interpreters.
Online Erişim:	Full-text access OPAC'ta görüntüle

Benzer Materyaller

Sensing of Non-Volatile Memory Demystified
Baskı/Yayın Bilgisi: (2019)

Gain-Cell Embedded DRAMs for Low-Power VLSI Systems-on-Chip
Yazar:: Meinerzhagen, Pascal, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

In Search of the Next Memory Inside the Circuitry from the Oldest to the Emerging Non-Volatile Memories /
Baskı/Yayın Bilgisi: (2017)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations
Baskı/Yayın Bilgisi: (2018)

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

Digital Storage in Consumer Electronics The Essential Guide /
Yazar:: Coughlin, Thomas M.
Baskı/Yayın Bilgisi: (2018)

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)

Emerging Resistive Switching Memories
Yazar:: Ouyang, Jianyong
Baskı/Yayın Bilgisi: (2016)

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

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

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog /
Yazar:: Taraate, Vaibbhav
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)

Charge-Trapping Non-Volatile Memories Volume 2--Emerging Materials and Structures /
Baskı/Yayın Bilgisi: (2017)

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

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

Automatic Tuning of Compilers Using Machine Learning
Yazar:: Ashouri, Amir H., ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Test Generation of Crosstalk Delay Faults in VLSI Circuits
Yazar:: Jayanthy, S., ve diğerleri
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)

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)

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
Yazar:: Mehta, Ashok B.
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)

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

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

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines /
Yazar:: Javanbakht, Zia, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

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

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)

Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015 /
Baskı/Yayın Bilgisi: (2018)

Domain Specific High-Level Synthesis for Cryptographic Workloads
Yazar:: Khalid, Ayesha, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
Yazar:: Wang, Zheng, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

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