Efficient Logic Design of Reliable Control Units. III

Authors: Mishchenko A.A.¹; Mishchenko A.T.¹

Source: Cybernetics and Systems Analysis, Volume 36, Number 5, 10 September 2000 , pp. 635-651(17)

Publisher: Springer

Key:

- Free Content

- New Content

- Subscribed Content

- Free Trial Content

Abstract:

This paper deals with two formal autogram-based methods of construction of control units from transparent flip-flops (latches). The first (general) method can be used to design clocked and asynchronous circuits. The second (simple) method makes it possible to synthesize circuits based on nonclassical models. The latter method can be easily automated, improves the checkout of control units, and allows one to construct control units from unified (standard) blocks.

Keywords: logic design; formalized and computer-aided methods of logic des; control units; design of reliable control units; autogram-based specification of control units; formal autogram-based construction of control unit; formal synthesis of control units without movement; monoautomata and biautomata; stability of states of biautomata and monoautomata; formal synthesis of monoautomata and biautomata

Language: English

Document Type: Regular paper

Affiliations: 1: Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine

The full text electronic article is available for purchase. You will be able to download the full text electronic article after payment.

$42.00 plus tax