Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

СиВер - система синтеза и верификации комбинационных логических схем

Авторы
 Бибило П.Н.
 Кардаш С.Н.
 Романов В.И.
Год публикации
 2006
УДК
 621.38

Аннотация
 Описывается система синтеза и верификации многовыходных комбинационных схем в базисе библиотек проектирования базовых матричных
кристаллов. Исходными данными являются матричные
и скобочные описания систем булевых функций, а также описания на языке VHDL. Система СиВер состыкована с системой синтеза LeonardoSpectrum и имеет программы логической минимизации и верификации, отсутствующие в LeonardoSpectrum. Совместное использование Сивер и LeonardoSpectrum позволяет получать логические схемы, имеющие меньшую сложность и задержку.
Ключевые слова
 СиВер, синтез и верификация комбинационных логических схем
Ссылка на статью
 Бибило П.Н., Кардаш С.Н., Романов В.И. СиВер - система синтеза и верификации комбинационных логических схем // Проблемы разработки перспективных микроэлектронных систем - 2006. Сборник научных трудов / под общ. ред. А.Л.Стемпковского. М.:ИППМ РАН, 2006. С. 45-50.
Адрес статьи
 http://www.mes-conference.ru/data/year2006/06.pdf

Copyright © 2009-2021 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН