Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2010 - zeszyt 9

Deadlock detection in networks of automata communicating via flags

Andrei KARATKEVICH

nr katalogowy: 55509

Szereg systemów cyfrowych może być prezentowany w postaci połączonych automatów stanów, które komunikują się ze sobą przy pomocy przerzutników. W artykule opisano metodę wykrywania możliwych zakleszczeń w takich systemach. Metoda została zilustrowana przykładem jej zastosowania do projektu procesora z potokowym przetwarzaniem danych (Wykrywanie zakleszczeń w sieciach automatów, komunikujących przez flagi) Abstract. A range of digital systems can be represented as the state machine networks in which FSMs communicate with the help of flip-flops. The article presents a method of detecting possible deadlocks in such networks. The method is illustrated by applying it to a project of a pipeline processor. Słowa kluczowe: automaty stanów, projektowanie systemów, weryfikacja, przetwarzanie potokowe. Keywords: State machines, system design, verification, pipeline. Introduction Finite state machine (FSM), or finite automaton, is a model widely used in digital system design. Modeling of complex systems, however, often requires using more than one state machine. Several automata can be composed into a network. For such networks, different ways of communication between the automata are used. Automata can be connected directly (that means that the input of one automaton is connected to the output of another one). But it is inconvenient to consider inputs and outputs of the automata in such networks as single symbols, as it is done in classical automata theory. More flexible and popular approach, allowing to represent easily Mealy and Moore (and mixed) automata with multiple outputs, uses the concept of broadcast events. It is applied in various models of concurrent finite state machines [1,2]. This fits perfectly well for the logical control systems, but may be not enough for more complex cases, as modeling the structure of processors. Then the flags (variables) may be used as one of the ways of communication between automata [3]. Difference[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 55509 "Deadlock detection in net..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2010-9 licencja: Osobista Produkt cyfrowy	55.00 zł

Prenumerata

PRZEGLĄD ELEKTROTECHNICZNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

762.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	1002.00 zł brutto 927.78 zł netto 74.22 zł VAT (stawka VAT 8%)

1002.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna	960.00 zł brutto 888.89 zł netto 71.11 zł VAT (stawka VAT 8%)
PRZEGLĄD ELEKTROTECHNICZNY - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

1002.00 zł

Zeszyt

2010-9

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma