@article{Бибило П. Н.2018-12-27,
author = { Бибило П. Н.,  Кардаш С. Н.,  Романов В. И.},
title = {СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ},
year = {2006},
publisher = {NP «NEICON»},
abstract = {Описывается система синтеза и верификации многовыходных комбинационных схем в базисе библиотек проектирования базовых матричных кристаллов. Исходными данными являются матричные и скобочные описания систем булевых функций, а также описания на языке VHDL. Система СиВер состыкована с системой синтеза LeonardoSpectrum и имеет программы логической минимизации и верификации, отсутствующие в LeonardoSpectrum. Совместное использование СиВер и LeonardoSpectrum позволяет получать логические схемы, имеющие меньшую сложность и задержку.},
URL = {https://www.academjournals.by/publication/19033},
eprint = {https://www.academjournals.by/files/18981},
journal = {Информатика},
}