Схемотехника ЭВМ и
последовательностных схем и запоминающих элементов, типовых функциональных узлов, интерфейсных
Кроссплатформенный конструктор комбинационных схем конструировать
комбинационные схемы, с последующим подсчетом таблицы истинности.
Синтез последовательностных схем с использованием равновесного кодирования состоянийСинтез
последовательностных схем с использованием равновесного кодирования состояний
Синтез отказоустойчивых последовательностных схем для неисправностей задержек путейСинтез отказоустойчивых
последовательностных схем для неисправностей задержек путей
Синтез самопроверяемых последовательностных схем для неисправностей задержек путейСинтез самопроверяемых
последовательностных схем для неисправностей задержек путей
К построению тестов для последовательностных схем с использованием системы АВСК построению тестов для
последовательностных схем с использованием системы АВС
Троичное моделирование комбинационных схем с использованием ROBDDВ работе рассматривается задача троичного моделированргя комбинационных
схем. Она сводится к задаче