Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design methods depend strongly on logic elements using for implementation of logic circuits. Different programmable logic devices are wide used for implementation of logic circuits. Nowadays, we witness the rapid growth of new and new chips, but there is a strong lack of new design methods.
This book includes a variety of design and test methods targeted on different digital devices. It covers methods of digital system design, the development of theoretical base for construction and designing of the PLD–based devices, application of UML for digital design. A considerable part of the book is devoted to design methods oriented on implementing control units using FPGA and CPLD chips. Such important issues as design of reliable FSMs, automatic design of concurrent logic controllers, the models and methods for creating infrastructure IP services for the SoCs are also presented.
The editors of the book hope that it will be interesting and useful for experts in Computer Science and Electronics, as well as for students, who are viewed as designers of future digital devices and systems.
Author(s): Samary Baranov (auth.), Marian Adamski, Alexander Barkalov, Marek Węgrzyn (eds.)
Edition: 1st Edition.
Publisher: Springer Berlin Heidelberg
Year: 2011
Language: English
Pages: XVIII, 366p. 195 illus..
Content:
Front Matter....Pages -
Front Matter....Pages 1-1
1 Digital System Design....Pages 3-41
2 Rectangular Function � (x) and Its Application for Description of Some Logical Devices Operation....Pages 43-57
3 Design and Application of the PLD-Based Reconfigurable Devices....Pages 59-91
4 Application of Multilevel Design on the Base of UML for Digital System Developing....Pages 93-117
Front Matter....Pages 119-119
5 Logic Synthesis Method of Digital Circuits Designed for Implementation with Embedded Memory Blocks of FPGAs....Pages 121-144
6 Efficient Technology Mapping Method for PAL-Based Devices....Pages 145-163
7 Reliable FPGA-Based Systems Out of Unreliable Automata: Multi-version Design Using Genetic Algorithms....Pages 165-192
8 Synthesis of Compositional Microprogram Control Unit with Dedicated Area of Inputs....Pages 193-214
9 PeNLogic – System for Concurrent Logic Controllers Design....Pages 215-228
Front Matter....Pages 229-229
10 Methods of Signals Processing in Radio Access Networks....Pages 231-261
11 Recursive Code Scales for Moving Converters....Pages 263-288
12 Infrastructure Intellectual Property for SoC Simulation and Diagnosis Service....Pages 289-330
13 Evolutionary Test Generation Methods for Digital Devices....Pages 331-361
Back Matter....Pages -
