Информация о статье журнала "Информатика"
Реферат
Полный текст статьи
Полный текст статьи не доступен
СиВер - система синтеза и верификации комбинационных логических систем' Кардаш С. Н. 1 , Бибило П. Н. 1 , Романов В. И. 1

  1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 519.7

Статья поступила: 03.05.2006

Реферат:

Описывается система синтеза и верификации многовыходных комбинационных схем в базисе библиотек проектирования базовых матричных кристаллов. Исходными данными являются матрич-ные и скобочные описания систем булевых функций, а также описания на языке VHDL. Система Си-Вер состыкована с системой синтеза LeonardoSpectrum и имеет программы логической минимизации и верификации, отсутствующие в LeonardoSpectrum. Совместное использование СиВер и LeonardoSpectrum позволяет получать логические схемы, имеющие меньшую сложность и задержку.