Синтез цифровых автоматов. Захаров Н.Г - 126 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

125
- пересылка осуществлена.
На рис. 7.26 и 7.27 показано, как можно промоделировать асинхронный кон-
вейер такого типа. На рис. 7.26 приведена блок-схема конвейера, моделируемого се-
тью Петри (рис. 7.27).
Выходной
регистр
блока k-1
Входной
регистр
блока k
Блок
k-1
Блок
k
Выходной
регистр
блока k
Входной
регистр
блока k+1
Рис. 7.26. Блок-схема устройства управления асинхронной ЭВМ
с конвейерной обработкой
Выходной регистр
k пуст
Входной регистр
k+1 заполнен
Выходной регистр
k-1 пуст
Входной регистр
k заполнен
Пересылка
из k-1 в k
Блок k занят
Пересылка
из k в k+1
Блок k-1 занят
Выходной регистр
k-1 заполнен
Входной регистр
k пуст
Выходной регистр
k заполнен
Входной регистр
k+1 пуст
Рис. 7.27. Модель сети Петри устройства управления асинхронной ЭВМ
с конвейерной обработкой
Отметим, что эта модель моделирует реальную работу блоков конвейера как
непримитивных событий. Это позволяет нам проигнорировать на данном уровне кон-
кретные детали того, что происходит в блоках, и сосредоточиться на их правильном
взаимодействии. Каждая операция также может промоделироваться сетью Петри.
Затем сети Петри для каждого блока можно объединить в обобщенную сеть Петри
(рис. 7.27) моделируемой системы. Такая возможность моделирования системы на
нескольких различных уровнях абстракции, т. е. иерархическим образом, может быть
весьма полезна.

Страницы