Automated Design Of A Microprogrammed Controller For A Finite State Machine

Logic Synthesis for Compositional Microprogram Control Units

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.

Computer Aided Design and Design Automation

This volume of The Circuits and Filters Handbook, Third Edition focuses on computer aided design and design automation. In the first part of the book, international contributors address topics such as the modeling of circuit performances, symbolic analysis methods, numerical analysis methods, design by optimization, statistical design optimization, and physical design automation. In the second half of the text, they turn their attention to RF CAD, high performance simulation, formal verification, RTK behavioral synthesis, system-level design, an Internet-based micro-electronic design automation framework, performance modeling, and embedded computing systems design.

Scientific and Technical Aerospace Reports