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