Проверка схемной реализации частичных булевых функций Л. Д. Черемисинова, Д. Я. Новиков
Material type:
ArticleContent type: Текст Media type: электронный Subject(s): верификация | моделирование | комбинационные схемыGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 4. С. 102-111Abstract: Рассматривается задача верификации логических описаний одного и того же устройства, первое из которых поведенчески не полностью определено и задано в виде системы частично определенных булевых функций, а второе -задано в виде комбинационной схемы (в базисе многовходовых логических элементов типа И, ИЛИ). Предлагается комбинированный подход к проверке схемной реализации системы частично определенных булевых функций, который основан на моделировании комбинационной схемы на наборах значений входных переменных и сведении к задаче проверки выполнимости конъюнктивной нормальной формы (КНФ).
Библиогр.: 8 назв.
Рассматривается задача верификации логических описаний одного и того же устройства, первое из которых поведенчески не полностью определено и задано в виде системы частично определенных булевых функций, а второе -задано в виде комбинационной схемы (в базисе многовходовых логических элементов типа И, ИЛИ). Предлагается комбинированный подход к проверке схемной реализации системы частично определенных булевых функций, который основан на моделировании комбинационной схемы на наборах значений входных переменных и сведении к задаче проверки выполнимости конъюнктивной нормальной формы (КНФ).
There are no comments on this title.