Основні положення

ЦА називають пристрої, вихідне слово Y_і(t) яким (y ₁, y _2, …, у_і) залежать не тільки від значень вхідного слова Х_к (у вигляді х ₁, х _2, …, х_к), але й від стану ЦА Z_m у минулий (t-1) момент часу. У такий спосіб ЦА, у деякому змісті, запам’ятовує минулі впливи Х (t -1, t -2, …, t - n) у відмінності від КС, вихідне слово Y_і(t) яких визначається значенням Х_к (у вигляді х ₁, х _2, …, х_к) у будь-який момент часу T однозначно. Тим або іншим вмістом пристроїв з пам’яттю (П_n) у ЦА визначається його внутрішній стан (або простий стан - Z_m). Зовнішній прояв різних станів ЦА - це його різні реакції (у вигляді, наприклад, різних вихідних слів Y_і) при тих самих значеннях вхідних слів Х_к) на однакові вхідні впливи Х_к (у вигляді х ₁, х ₂, …, х_к).

У загальному випадку можна виділити кілька етапів синтезу ЦА:

- формування списку (масиву, алфавіту) вхідних (Х_к), вихідних (Y_і) логічних сигналів згідно умов роботи розглянутої схеми (або вузла, плати, пристрою, ін.) шляхом словесного опису або складання таблиці входів (Х_к) і виходів (Y_і) зазначеного ЦА;

- визначення необхідного числа станів ЦА виходячи з поставленого завдання й формалізованих даних (див. п.1);

- побудова попередньої таблиці (або графа, ГСА) функціонування ЦА, що зв’язує вхідні (Х_к), вихідні (Y_і) сигнали й внутрішні (Z_m) його стану. Цей етап збігається із завданням синтезу абстрактного ЦА (тобто без прив’язки до конкретної бази «будівельних» елементів електронної схеми ЦА, наприклад серії ІС типу КР1533...);

- побудова остаточної таблиці (або графа, ГСА) функціонування ЦА й складання таблиці переходів ЦА (від Z_{t -1} до Z_t), виходів (Y_і) і перемикання пам’яті (П_n) під впливом вхідних (Х_к), вихідних (Y_і) сигналів і функцій порушення (звичайно у вигляді КС) схем пам’яті (П_n) (наприклад, на тригерах) для перекладу ЦА в стан (від Z_t до Z_{t +1});

- мінімізація отриманих виразів, побудова логічних функцій і їхня прив’язка до обраного логічного базису з наступною побудовою електричної принципової схеми.

Стосовно до лабораторного практикуму перелік доповнений обов’язковим етапом дослідження (моделювання) отриманих схем ЦА «на робочому столі» програми EWB (на предмет перевірки правильності їхнього функціонування) за допомогою одного з двох підходів:

а - віртуальних пристроїв з бібліотеки моделей (БМ) EWB;

б - існуючих цифрових інтегральних схем (ІС) із БМ EWB.