This paper discusses a structured approach to the logic design of virtual control circuits that can be implemented in control-dedicated areas of dynamically reconfigurable field-programmable devices. The behavior of the control circuits is described by graph-schemes of the control algorithms and their varieties, which provide direct support for top-down decomposition. The method considered allows a formal and complete synthesis of the modifiable scheme to be produced, and this is well suited for implementing future improvements and modifications of the control algorithm.
展开▼