HDL-модель паралельного логічного контролера циклічної дії реалізовано мовою опису апаратури AHDL у середовищі MAXplus+II (проект - cyclomat_canon). Для наочності файл верхнього рівня ієрархії реалізований у графічному редакторі (рис.1).
Алгоритм функціонування паралельного логічного контролера циклічної дії описується таблицями станів та переходів (табл 1,2).
Таблиця 1. Таблиця станів (мікроциклів)
Найменування технологічної операції та групи операцій (мікроциклів) Z |
№ кроку в мікроциклі W |
Команди керування C |
Очікуваний стан вхідних сигналів B |
Сигнал закінчення мікроциклу ENDmс |
|
| 0 | Операція 0.0. | 0 | 0 | 0 | 0 |
| Операція0.1. | 1 | 1 | 1 | 0 | |
| Операція0.2. | 2 | 1 | 0 | 1 | |
| 1 | Операція 1.0. | 0 | 10 | 10 | 0 |
| Операція1.1 | 1 | 11 | 11 | 0 | |
| Операція1.2 | 2 | 12 | 12 | 0 | |
| Операція1.3 | 3 | 0 | 0 | 1 | |
| 2 | Операція2.0. | 0 | 20 | 20 | 0 |
| Операція2.1 | 1 | 21 | 21 | 0 | |
| Операція2.2 | 2 | 22 | 22 | 0 | |
| Операція2.3 | 3 | 22 | 0 | 1 | |
Таблиця 2. Таблиця переходів між станами (мікроциклами)
Номер поточного стану (мікроциклу) Zp
|
Вхідний стан A |
Контроль сигналу закінчення мікроциклу ENDмс |
Наступний стан (мікроцикл) Zk
|
| 0 | 1 | 1 | 1 |
| 1 | 2 | 1 | 2 |
| 2 | 3 | 1 | 1 |
| 2 | 4 | х | 0 |
Блок пам'яті bp
цикломата являє собою параметричний модуль, що забезпечує:
багаторазову перевірку правильності прийняття керуючих рішень, причому час між перевірками задається параметром period1
;
період, після якого забезпечується скидання (обнуління) блоку пам'яті при відсутності стабільності інформації на вході блоку пам'яті задається параметром period2
;
кількість дискретних входів задається параметром width
.
Параметри c
1_width
та c
2_width
необхідні для завдання розрядності лічильників, що забезпечують реалізацію функції виміру часових параметрів.
Логічна структура блоку пам'яті bp
(див. рис.2) містить наступні функціональні вузли:
тактовий генератор ТГ,
лічильник С1, призначений для формування сигналу Е, що являє собою імпульс із тривалістю в один такт сигналу синхронізації С и формується періодично з інтервалом часу t'
,
лічильник С2, що забезпечує підрахунок кількості виконаних перевірок правильності реалізації логічних функцій ω,
лічильник С3, що забезпечує скид регістра RG2, якщо на виході Q лічильника С2 протягом заданого інтервалу часу не формується
-розрядні регістри пам'яті RG1 і RG2,N"
-розрядна схема порівняння.
Рис.1. Файл верхнього рівня ієрархії в графічному редакторі
Рис.2. Логічна структура блоку пам’яті bp
Блок пам'яті bp
працює таким чином. Вхідні сигнали q (t) [N".
.1] надходять на входи регістра RG1 D [N".
.1] і схеми порівняння а [N".
.1].
На виходах регістра RG1 формуються сигнали Q [N".
.1], що надходять на входи регістра RG2 D [N".
.1] і схеми порівняння b [N".
.1].
У випадку зміни стану вхідних сигналів q (t) [N".
.1] сигнали на входах а [N".
.1] і b [N".
.1] схеми порівняння стають нееквівалентними, у результаті чого на виході a¹b схеми порівняння формується сигнал логічної 1, що надходить на вхід R лічильника С2 і забезпечує його скид.
При надходженні чергового імпульсу Е на вхід Е регістра RG1 виконується запис інформації, що надходить на його входи D [N".
.1]. У результаті цього сигнали на входах а [N".
.1] і b [N".
.1] схеми порівняння стають еквівалентними і вихідний сигнал схеми порівняння a¹b приймає значення логічного 0.
Далі лічильник С2 здійснює підрахунок імпульсів Е, що надходять на його вхід Е з виходу лічильника С1.
У випадку, якщо лічильник С2 дорахує до заданого значення n (що означає успішне виконання n-кратної перевірки), на його виході Q буде сформований сигнал логічної 1, що надходить на вхід Е регістра RG2, забезпечуючи таким чином запис інформації і формування сигналів q (t-1) [N".
.1] на виході блоку пам'яті.
Якщо наступна зміна вхідних сигналів q (t) [N".
.1] відбудеться до того, як лічильник С2 дорахує до n, лічильник С2 знову буде обнулений і підрахунок імпульсів Е буде виконуватись спочатку.
Структурна схема HDL-моделі блоку пам’яті bp
приведена на рис.3. Результати моделювання компонентів bp_rg, bp_compare, bp_counter приведені на рис 4 - 6.
Результати моделювання блоку пам’яті bp
наведені на рис.7.
Рис.3. Структурна схема HDL-моделі блока пам’яті bp
Рис.4. Результати моделювання компонента bp_rg
Рис.5. Результати моделювання компонента bp_compare
Рис.6. Результати моделювання компонента bp_ counter
Рис.7. Результати моделювання блоку пам’яті bp
Комбінаційна схема KS1 реалізує логічну функцію λ відповідно до таблиці переходів, наведеної на рис.2.
Опис функції λ с використанням конструкцій CASE і IF THEN виглядає так:
CASE zi [] IS
WHEN 0 =>
IF a [] == 1 and kp then z [] = 1;
ELSE z [] = 0;
END IF;
WHEN 1 =>
IF a [] == 2 and kp then z [] = 2;
ELSE z [] = 1;
END IF;
WHEN 2 =>
IF a [] == 3 and kp then z [] = 1;
ELSIF a [] == 4 then z [] = 0;
ELSE z [] = 2;
END IF;
END CASE;
Для опису функцій χ, δ, δ' у блоці RS2_3 використана конструкція TABLE:
TABLE zi [1. .0], w [1. .0] => b [7. .0], ENDmc, c [7. .0] ;
0, 0 => 0, 0, 0;
0, 1 => 1, 0, 1;
0, 2 => 0, 1, 1;
1, 0 => 10, 0, 10;
1, 1 => 11, 0, 11;
1, 2 => 12, 0, 12;
1, 3 => 0, 1, 0;
2, 0 => 20, 0, 20;
2, 1 => 21, 0, 21;
2, 2 => 22, 0, 22;
2, 3 => 0, 1, 22;
END TABLE;
Схема скидання лічильника count
виконана з використанням примітивів DFF, NOT, AND2, які виділяють передній фронт сигналу на виході reset
блоку пам'яті шляхом формування імпульсу тривалістю в один такт сигналу синхронізації.
Фрагмент результатів моделювання паралельного логічного контролера циклічної дії наведено на рис.8.
Рис.8. Фрагмент результатів моделювання паралельного логічного контролера циклічної дії