No/VOL: 09/2010 Page no. 126

Authors: Andrei Karatkevich :

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

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

Key words: automaty stanów, projektowanie systemów, weryfikacja, przetwarzanie potokowe.

wstecz