Logic Synthesis for FSM-Based Control Units

Logic Synthesis for FSM-Based Control Units

The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a finite state machine (FSM) is used to represent the behaviour of a control unit. Modern computer-aided design tools include a lot of optimal solution...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Barkalov, Alexander (Συγγραφέας), Titarenko, Larysa (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Σειρά:	Lecture Notes in Electrical Engineering, 53
Θέματα:	Engineering. Microprogramming. Logic design. Computer logic. Control engineering. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Control. Logics and Meanings of Programs. Electronics and Microelectronics, Instrumentation. Control Structures and Microprogramming. Logic Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

PLD Based Design with VHDL RTL Design, Synthesis and Implementation /
ανά: Taraate, Vaibbhav
Έκδοση: (2017)

Embedded Microcontroller Interfacing Designing Integrated Projects /
ανά: Gupta, Gourab Sen, κ.ά.
Έκδοση: (2010)

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

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

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)

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

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

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

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

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

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog /
ανά: Taraate, Vaibbhav, κ.ά.
Έκδοση: (2019)

Prototyping of Concurrent Control Systems Implemented in FPGA Devices
ανά: Wiśniewski, Remigiusz
Έκδοση: (2017)

Interfacing with C++ Programming Real-World Applications /
ανά: Katupitiya, Jayantha, κ.ά.
Έκδοση: (2006)

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving /
ανά: Ross, Hans-Leo
Έκδοση: (2016)

Optimal Design of Distributed Control and Embedded Systems
ανά: Çela, Arben, κ.ά.
Έκδοση: (2014)

Embedded Microcontroller Interfacing Designing Integrated Projects
ανά: Gupta, Gourab Sen
Έκδοση: (2010)

Robustness and Usability in Modern Design Flows
ανά: Fey, Görschwin, κ.ά.
Έκδοση: (2008)

Real Time Control Engineering Systems And Automation /
ανά: Ng, Tian Seng
Έκδοση: (2016)

Hands-on Experience with Altera FPGA Development Boards
ανά: Parab, Jivan S., κ.ά.
Έκδοση: (2018)

Synthesis and Optimization of FPGA-Based Systems
ανά: Sklyarov, Valery, κ.ά.
Έκδοση: (2014)

Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot
ανά: Jaber, Alaa Abdulhady
Έκδοση: (2017)

Digital Signal Processing with Field Programmable Gate Arrays
ανά: Meyer-Baese, Uwe
Έκδοση: (2014)

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

Model-Based Design of Adaptive Embedded Systems
Έκδοση: (2013)

Fault-Tolerance Techniques for SRAM-based FPGAs
ανά: Kastensmidt, Fernanda Lima, κ.ά.
Έκδοση: (2006)

A Combined Data and Power Management Infrastructure For Small Satellites /
Έκδοση: (2013)

Digital Electronics for Musicians
ανά: Drymonitis, Alexandros
Έκδοση: (2015)

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

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

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

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Έκδοση: (2011)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
Έκδοση: (2010)

Taxonomies for the Development and Verification of Digital Systems
ανά: Bailey, Brian
Έκδοση: (2005)

Test Generation of Crosstalk Delay Faults in VLSI Circuits
ανά: Jayanthy, S., κ.ά.
Έκδοση: (2019)

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

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

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

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

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