ВВЕДЕНИЕ. В алгебре логики разработаны процедуры, позволяющие формальным способом разработать схему узла или устройства электронного средства

В алгебре логики разработаны процедуры, позволяющие формальным способом разработать схему узла или устройства электронного средства, если на него существует формальное задание.

В 70-е годы прошлого века наша промышленность освоила массовое производство интегральных микросхем средней степени интеграции, реализующих большое число общепринятых операторов, используемых при разработке цифровой техники. Создалось впечатление, что для реализации любой цифровой техники достаточно построить его структурную схему, а затем заменить операторы соответствующими интегральными схемами. В результате интерес к логическому проектированию существенно снизился, уменьшилось внимание к таким вопросам схемотехники, как анализ переходных процессов, обеспечение помехоустойчивости.

С появлением больших и сверхбольших интегральных схем уменьшилась их универсальность. Это приводит к необходимости выпуска большого числа типов таких микросхем при снижении объема производства каждого из типов и, как следствие, к увеличению их стоимости.

Выходом из возникшего противоречия явилась разработка нового класса микросхем с программируемой структурой, содержащей множество отдельных логических блоков, межсоединения для которых разрабатывает пользователь при создании цифровой техники, решающей необходимую задачу. Это позволяет промышленности выпускать микросхемы с программируемой структурой массовым тиражом, что уменьшает их стоимость. В результате интерес к логическому проектированию возродился.

С ростом уровня интеграции задачей разработки становится составление блоков из субблоков стандартного вида путем их соединения и обеспечения взаимодействия. Это требует знания динамических параметров отдельных субблоков, умения анализировать переходные процессы при их совместной работе, разработки мероприятий по обеспечению помехоустойчивости.