Пример взаимодействующих автоматов — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) (Новая страница: «<graphviz> digraph G { Free -> Wait [label=1] Work -> Wait [label=1] Work -> Free [label=1] P0_Free -> P0_Wait [label=1] P0_Work -> P0_Wait [label=1] P0_Work -> …») |
ANA (обсуждение | вклад) м |
||
| Строка 1: | Строка 1: | ||
<graphviz> | <graphviz> | ||
digraph G { | digraph G { | ||
| − | Free -> Wait [label=1] | + | Free -> Wait [label="req = 1"] |
| − | + | Free -> Free | |
| − | Work -> Free [label=1] | + | Wait -> Work [label="cal_ready = 1"] |
| + | Wait -> Wait | ||
| + | Work -> Free [label="cal_ready = 0"] | ||
| + | Work -> Work | ||
| + | |||
| + | Wait [label="Wait: 01\n cal_req <= '1'\n ready <= '0'"] | ||
| + | Work [label="Work: 10\n cal_req <= '1'\n ready <= '0'"] | ||
| + | Free [label="Free: 00\n cal_req <= '0'\n ready <= '1'"] | ||
P0_Free -> P0_Wait [label=1] | P0_Free -> P0_Wait [label=1] | ||
Версия 03:26, 21 сентября 2017
