Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

This book is a monograph devoted to logic synthesis and optimization for CPLDs. CPLDs' macrocell can also be interpreted as programmable AND-fixed OR structure, well known as PAL-based structure. The question is: what should be done when the number of implicants representing function exceeds th...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Czerwinski, Robert (Συγγραφέας), Kania, Dariusz (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Σειρά:	Lecture Notes in Electrical Engineering, 231
Θέματα:	Engineering. Logic design. Engineering design. Electronic circuits. Circuits and Systems. Logic Design. Engineering Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2017)

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

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

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

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

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

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

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

Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ανά: Taha, Saleem Mohammed Ridha
Έκδοση: (2016)

The Unknown Component Problem Theory and Applications /
ανά: Villa, Tiziano, κ.ά.
Έκδοση: (2012)

Compact Models and Measurement Techniques for High-Speed Interconnects
ανά: Sharma, Rohit, κ.ά.
Έκδοση: (2012)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

Theory of Digital Automata
ανά: Borowik, Bohdan, κ.ά.
Έκδοση: (2013)

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)

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

Logic Synthesis for Compositional Microprogram Control Units
Έκδοση: (2008)

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation /
ανά: Palchaudhuri, Ayan, κ.ά.
Έκδοση: (2016)

Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
ανά: Shi, Guoyong, κ.ά.
Έκδοση: (2014)

Practical Problems in VLSI Physical Design Automation
ανά: Lim, Sung Kyu
Έκδοση: (2008)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

Design, Analysis and Test of Logic Circuits Under Uncertainty
ανά: Krishnaswamy, Smita, κ.ά.
Έκδοση: (2013)

VHDL for logic synthesis /
ανά: Rushton, Andrew, 1962-
Έκδοση: (2011)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /
ανά: Gokhale, Maya, κ.ά.
Έκδοση: (2005)

Advanced Techniques in Logic Synthesis, Optimizations and Applications
Έκδοση: (2011)

Electronics System Design Techniques for Safety Critical Applications
ανά: Sterpone, Luca
Έκδοση: (2009)

More than Moore Creating High Value Micro/Nanoelectronics Systems /
Έκδοση: (2009)

ESL Models and their Application Electronic System Level Design and Verification in Practice /
ανά: Bailey, Brian, κ.ά.
Έκδοση: (2010)

Adiabatic Logic Future Trend and System Level Perspective /
ανά: Teichmann, Philip
Έκδοση: (2012)

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits /
ανά: Alioto, Massimo, κ.ά.
Έκδοση: (2005)

Digital designing with programmable logic devices /
ανά: Carter, John W.
Έκδοση: (1997)

Fundamentals of digital logic with verilog design /
ανά: Brown, Stephen D.
Έκδοση: (2003)

Fundamentals of digital logic and microcomputer design /
ανά: Rafiquzzaman, Mohamed
Έκδοση: (2005)

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits /
ανά: Ben Jamaa, M. Haykel
Έκδοση: (2011)

Digital Design and Implementation with Field Programmable Devices
ανά: Navabi, Zainalabedin
Έκδοση: (2005)

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

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