Версия 20:51, 29 августа 2020

Цели и задачи курса

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

Маршрут проектирования ЦС

• логическое проектирование - этап описания логических схем (не учитывается технология, физические,электрические и другие характеристики). Результатом является логическая схема на уровне регистровых передач (RTL).
• верификация - этап проверки соответствия описания логических схем спецификации
• физическое проектирование - этап построения топологии цифровой схемы (размещение логических элементов и проводников на поверхности кристалла) для конкретного технологического процесса с учётом всех производственных норм и характеристик Результатом является файл топологии интегральной схемы GDS II, который отправляется на фабрику.

Где и для чего используются языки описания аппаратуры

      entity add1 is
      port (b1,b2 : in BIT;
            c1,s1 : out BIT);
      end add1;
      
      architecture struct_1 of add1 is
      begin
          s1<= ((b1 and (not b2)) or ((not b1) and b2));
          c1<= b1 and b2;
      end struct_1;