СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ
Аннотация
Описывается система синтеза и верификации многовыходных комбинационных схем в базисе библиотек проектирования базовых матричных кристаллов. Исходными данными являются матричные и скобочные описания систем булевых функций, а также описания на языке VHDL. Система СиВер состыкована с системой синтеза LeonardoSpectrum и имеет программы логической минимизации и верификации, отсутствующие в LeonardoSpectrum. Совместное использование СиВер и LeonardoSpectrum позволяет получать логические схемы, имеющие меньшую сложность и задержку.
Об авторах
П. Н. Бибило
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
С. Н. Кардаш
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
В. И. Романов
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
Список литературы
1. Быстродействующие матричные БИС и СБИС. Теория и проектирование / Б.Н. Файзулаев [и др.]; под общ. ред. Б.Н. Файзулаева и И.И. Шагурина. – М., 1989. – 304 с.
2. Лукошко, Г.К. КМОП – базовые матричные кристаллы серии К1574 / Г.К. Лукошко, Е.В. Коннов // Радиолюбитель. – 1997. – № 9. – С. 39–40.
3. Бибило, П.Н. Основы языка VHDL / П.Н. Бибило. – М.: СОЛОН–Р, 2002. – 224 с.
4. Бибило, П.Н. Cистемы проектирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum / П.Н. Бибило. – М.: СОЛОН–Пресс, 2005. – 384 с.
5. Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило [и др.] // Микроэлектроника. – 2004. – Т. 32. – № 5.
6. Система логического проектирования «Синтез БМК» / П.Н. Бибило [и др.] // УсиМ. – 2001. – № 3. – С. 28–35.
7. Бухтеев, А.В. Системы на кристалле. Новые тенденции / А.В. Бухтеев, В.В. Немудров // Электроника: наука, технологии, бизнес.– 2004. – № 3. – С. 52–56.
8. Кочанов, Д.А. Разработка лексического анализатора для транслятора VHDL-описаний логических схем / Д.А. Кочанов // Материалы Пятой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'04), Минск, 15–17 ноября 2004 г. – Минск: ОИПИ НАН Беларуси, 2004. – Т. 2. – С. 179–186.
9. Cheremisinov, D. Schematic netlist converter / D. Cheremisinov // Proceedings of the Tourth Int. Conf. on Computer-Aided Design of Discrete Devices (CAD DD'2001), Minsk, Nov. 14–16, 2001. – Minsk, 2001. – Vol. 1 – P. 121–125.
10. Кириенко, Н.А. Компиляция функционально-структурных описаний логических схем / Н.А. Кириенко // Автоматизация проектирования дискретных систем: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 1995. – С. 92–101.
11. Торопов, Н.Р. Преобразование многоярусной комбинационной сети в двухъярус-ную / Н.Р. Торопов // Логическое проектирование: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 2000. – Вып. 5. – С. 4–14.
12. Черемисинова, Л.Д. К факторизационному методу синтеза многоуровневых схем на БИС / Л.Д. Черемисинова // Цифровая обработка информации и управление в чрезвычайных ситуациях: материалы Первой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'01), Минск, 14–17 ноября 1998 г. – Минск, 1998. – Т. 2. – С. 227–232.
13. Торопов, Н.Р. Минимизация систем булевых функций в классе ДНФ / Н.Р. Торопов // Логическое проектирование: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 1999. – Вып. 4. – С. 4–19.
14. Кардаш, С.Н. Синтез комбинационных схем из библиотечных элементов / С.Н. Кардаш // Методы логического проектирования: сб. науч. тр. – Минск: ОИПИ НАН Беларуси, 2003. – Вып. 2. – С. 33–40.
15. Кардаш, С.Н. Синтез комбинационных схем, реализуемых в составе базовых матричных кристаллов / С.Н. Кардаш // Материалы Пятой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'2004), Минск, 15–17 ноября 2004 г. – Минск: ОИПИ НАН Беларуси, 2004. – Т. 2. – С. 171–178.
16. Goldberg, E. BerkMin: A fast and robust SAT-solver / E. Goldberg, Ya. Novikov // Proceedings of Design, Automation and Test in Europe Conference. – Paris, 2002. – С. 142–149.
17. Романов, В.И. Использование механизма продукций для организации динамического меню в САПР функционально–логических схем / В.И. Романов // Актуальные проблемы радиоэлектроники: научные исследования, подготовка кадров: материалы конференции. – Минск: МГВРК, 2006. – C. 295–297.
Рецензия
Для цитирования:
Бибило П.Н., Кардаш С.Н., Романов В.И. СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ. Информатика. 2006;(4(12)):79-87.
Просмотров: 512
Послать статью по эл. почте 