New Data Structures and Algorithms for Logic Synthesis and Verification

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Amaru, Luca Gaetano (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Θέματα:	Engineering. Logic design. Microprocessors. Electronic circuits. Circuits and Systems. Processor Architectures. Logic Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

High-Level Synthesis From Algorithm to Digital Circuit /
Έκδοση: (2008)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J.
Έκδοση: (2017)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
ανά: Rahimi, Abbas, κ.ά.
Έκδοση: (2017)

Testing of Interposer-Based 2.5D Integrated Circuits
ανά: Wang, Ran, κ.ά.
Έκδοση: (2017)

Fundamentals of Electronic Systems Design
ανά: Lienig, Jens, κ.ά.
Έκδοση: (2017)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
ανά: Mehta, Ashok B., κ.ά.
Έκδοση: (2018)

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach /
ανά: Izadian, Afshin, κ.ά.
Έκδοση: (2019)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
ανά: Zhan, Naijun, κ.ά.
Έκδοση: (2017)

Functional Verification of Dynamically Reconfigurable FPGA-based Systems
ανά: Gong, Lingkan, κ.ά.
Έκδοση: (2015)

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ανά: Czerwinski, Robert, κ.ά.
Έκδοση: (2013)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers /
Έκδοση: (2009)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings /
Έκδοση: (2007)

Embedded Software Verification and Debugging
Έκδοση: (2017)

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS /
ανά: Posser, Gracieli, κ.ά.
Έκδοση: (2017)

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach /
Έκδοση: (2019)

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors /
ανά: Melikyan, Vazgen, κ.ά.
Έκδοση: (2018)

Quick Start Guide to VHDL
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Machine Learning in VLSI Computer-Aided Design
Έκδοση: (2019)

Design of FPGA-Based Computing Systems with OpenCL
ανά: Waidyasooriya, Hasitha Muthumala, κ.ά.
Έκδοση: (2018)

Quick Start Guide to Verilog
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Reliable and Energy Efficient Streaming Multiprocessor Systems
ανά: Das, Anup Kumar, κ.ά.
Έκδοση: (2018)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Έκδοση: (2017)

Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach /
Έκδοση: (2013)

High-Level Modeling and Synthesis of Analog Integrated Systems
ανά: Martens, Ewout S. J., κ.ά.
Έκδοση: (2008)

Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC) /
ανά: Gangadharan, Sridhar, κ.ά.
Έκδοση: (2013)

Logic Synthesis for FSM-Based Control Units
ανά: Barkalov, Alexander, κ.ά.
Έκδοση: (2009)

Digital Logic Design Using Verilog Coding and RTL Synthesis /
ανά: Taraate, Vaibbhav
Έκδοση: (2016)

Routing Algorithms in Networks-on-Chip
Έκδοση: (2014)

Disruptive Logic Architectures and Technologies From Device to System Level /
ανά: Gaillardon, Pierre-Emmanuel, κ.ά.
Έκδοση: (2012)

Formal Specification Level Concepts, Methods, and Algorithms /
ανά: Soeken, Mathias, κ.ά.
Έκδοση: (2015)

Logic Circuit Design Selected Methods /
ανά: Vingron, Shimon P.
Έκδοση: (2012)

Beyond-CMOS Technologies for Next Generation Computer Design
Έκδοση: (2019)

Flip-Flop Design in Nanometer CMOS From High Speed to Low Energy /
ανά: Alioto, Massimo, κ.ά.
Έκδοση: (2015)

Analog Circuit Design Smart Data Converters, Filters on Chip, Multimode Transmitters /
Έκδοση: (2010)

Separation Logic for High-level Synthesis
ανά: Winterstein, Felix
Έκδοση: (2017)

Analog Circuit Design High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management /
Έκδοση: (2009)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών