Discusses microprogramming theory, applications and methodology.

In two editions spanning more than a decade, The Electrical Engineering Handbook stands as the definitive reference to the multidisciplinary field of electrical engineering. Our knowledge continues to grow, and so does the Handbook. For the third edition, it has expanded into a set of six books carefully focused on a specialized area or field of study. Each book represents a concise yet definitive collection of key concepts, models, and equations in its respective domain, thoughtfully gathered for convenient access. Computers, Software Engineering, and Digital Devices examines digital and logical devices, displays, testing, software, and computers, presenting the fundamental concepts needed to ensure a thorough understanding of each field. It treats the emerging fields of programmable logic, hardware description languages, and parallel computing in detail. Each article includes defining terms, references, and sources of further information. Encompassing the work of the world's foremost experts in their respective specialties, Computers, Software Engineering, and Digital Devices features the latest developments, the broadest scope of coverage, and new material on secure electronic commerce and parallel computing.

Firmware engineering is the practical application of scientific knowledge to the design of computer programs, and the construction and later associated documentation required to develop, operate, and maintain them. This book recognizes the broad implications of firmware engineering which no single text can fully cover. Rather, it is our intent to develop the significant phase of firmware engineering, namely the design and specification of microprogrammable control units. Our hope is to provide the firmware engineer with useful tools.

In 1993, the first edition of The Electrical Engineering Handbook set a new standard for breadth and depth of coverage in an engineering reference work. Now, this classic has been substantially revised and updated to include the latest information on all the important topics in electrical engineering today. Every electrical engineer should have an opportunity to expand his expertise with this definitive guide. In a single volume, this handbook provides a complete reference to answer the questions encountered by practicing engineers in industry, government, or academia. This well-organized book is divided into 12 major sections that encompass the entire field of electrical engineering, including circuits, signal processing, electronics, electromagnetics, electrical effects and devices, and energy, and the emerging trends in the fields of communications, digital devices, computer engineering, systems, and biomedical engineering. A compendium of physical, chemical, material, and mathematical data completes this comprehensive resource. Every major topic is thoroughly covered and every important concept is defined, described, and illustrated. Conceptually challenging but carefully explained articles are equally valuable to the practicing engineer, researchers, and students. A distinguished advisory board and contributors including many of the leading authors, professors, and researchers in the field today assist noted author and professor Richard Dorf in offering complete coverage of this rapidly expanding field. No other single volume available today offers this combination of broad coverage and depth of exploration of the topics. The Electrical Engineering Handbook will be an invaluable resource for electrical engineers for years to come.

This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD.

One of the very important parts of any digital system is the control unit, coordin- ing interplay of other system blocks. As a rule, control units have irregular str- ture, which makes process of their logic circuits design very sophisticated. In case of complex logic controllers, the problem of system design is reduced practically to the design of control units. Actually, we observe a real technical boom connected with achievements in semiconductor technology. One of these is the development of integrated circuit known as the "systems-on-a-programmable- chip" (SoPC), where the number of elements approaches one billion. Because of the extreme complexity of microchips, it is very important to develop effective design methods oriented on particular properties of logical elements. Solution of this problem permits impr- ing functional capabilities of the target digital system inside single SoPC chip. As majority of researches point out, design methods used in case of industrial packages are, in case of complex digital system design, far from optimal. Similar problems concern the design of control units with standard ?eld-programmable logic devices (FPLD), such as PLA, PAL, GAL, CPLD, and FPGA. Let us point out that modern SoPC are based on CPLD or FPGA technology. Thus, the development of eff- tive design methods oriented on FPLD implementation of logic circuits used in the control units still remains the problem of great importance.

This encyclopaedia covers An Algorithm for Abductive Inference in Artificial Intelligence to Web Financial Information System Server.

This book focuses on control units, which are a vital part of modern digital systems, and responsible for the efficiency of controlled systems. The model of a finite state machine (FSM) is often used to represent the behavior of a control unit. As a rule, control units have irregular structures that make it impossible to design their logic circuits using the standard library cells. Design methods depend strongly on such factors as the FSM used, specific features of the logic elements implemented in the FSM logic circuit, and the characteristics of the control algorithm to be interpreted. This book discusses Moore and Mealy FSMs implemented with FPGA chips, including look-up table elements (LUT) and embedded memory blocks (EMB). It is crucial to minimize the number of LUTs and EMBs in an FSM logic circuit, as well as to make the interconnections between the logic elements more regular, and various methods of structural decompositions can be used to solve this problem. These methods are reduced to the presentation of an FSM circuit as a composition of different logic blocks, the majority of which implement systems of intermediate logic functions different (and much simpler) than input memory functions and FSM output functions. The structural decomposition results in multilevel FSM circuits having fewer logic elements than equivalent single-level circuits. The book describes well-known methods of structural decomposition and proposes new ones, examining their impact on the final amount of hardware in an FSM circuit. It is of interest to students and postgraduates in the area of Computer Science, as well as experts involved in designing digital systems with complex control units. The proposed models and design methods open new possibilities for creating logic circuits of control units with an optimal amount of hardware and regular interconnections.