Numer: 09/2010 Str. 126

Autorzy: Andrei Karatkevich :

Tytuł: Wykrywanie zakleszczeń w sieciach automatów, komunikujących przez flagi

Streszczenie: 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

Słowa kluczowe: automaty stanów, projektowanie systemów, weryfikacja, przetwarzanie potokowe.

wstecz