@article{Бибило П. Н.2018-04-19,
author = { Бибило П. Н.,  Новиков Д. Я.},
title = {ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ},
year = {2011},
publisher = {NP «NEICON»},
abstract = {Рассматривается задача верификации логических схем, реализующих системы частично определенных булевых функций. Описываются VHDL-модели различных форм задания таких систем. Предлагается программа для решения рассматриваемой задачи на основе совместного использования троичного параллельного моделирования и сведения к задаче проверки выполнимости конъюнктивной нормальной формы. Приводятся результаты экспериментов по верификации, показывающие высокую эффективность разработанной программы по сравнению с VHDL-моделированием, которое позволяет проводить система ModelSim.},
URL = {https://www.academjournals.by/publication/18721},
eprint = {https://www.academjournals.by/files/18673},
journal = {Информатика},
}