informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-721Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNСиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМБибилоП. Н.КардашС. Н.РомановВ. И.Объединенный институт проблем информатики НАН БеларусиBelarus20062712201804(12)7987Copyright © Бибило П.Н., Кардаш С.Н., Романов В.И., 20182018Бибило П.Н., Кардаш С.Н., Романов В.И.Бибило П.Н., Кардаш С.Н., Романов В.И.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/721

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

ReferencesБыстродействующие матричные БИС и СБИС. Теория и проектирование / Б.Н. Файзулаев [и др.]; под общ. ред. Б.Н. Файзулаева и И.И. Шагурина. – М., 1989. – 304 с.Быстродействующие матричные БИС и СБИС. Теория и проектирование / Б.Н. Файзулаев [и др.]; под общ. ред. Б.Н. Файзулаева и И.И. Шагурина. – М., 1989. – 304 с.Лукошко, Г.К. КМОП – базовые матричные кристаллы серии К1574 / Г.К. Лукошко, Е.В. Коннов // Радиолюбитель. – 1997. – № 9. – С. 39–40.Лукошко, Г.К. КМОП – базовые матричные кристаллы серии К1574 / Г.К. Лукошко, Е.В. Коннов // Радиолюбитель. – 1997. – № 9. – С. 39–40.Бибило, П.Н. Основы языка VHDL / П.Н. Бибило. – М.: СОЛОН–Р, 2002. – 224 с.Бибило, П.Н. Основы языка VHDL / П.Н. Бибило. – М.: СОЛОН–Р, 2002. – 224 с.Бибило, П.Н. Cистемы проектирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum / П.Н. Бибило. – М.: СОЛОН–Пресс, 2005. – 384 с.Бибило, П.Н. Cистемы проектирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum / П.Н. Бибило. – М.: СОЛОН–Пресс, 2005. – 384 с.Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило [и др.] // Микроэлектроника. – 2004. – Т. 32. – № 5.Система «Custom Logic» автоматизированного проектирования управляющей логики заказных цифровых СБИС / П.Н. Бибило [и др.] // Микроэлектроника. – 2004. – Т. 32. – № 5.Система логического проектирования «Синтез БМК» / П.Н. Бибило [и др.] // УсиМ. – 2001. – № 3. – С. 28–35.Система логического проектирования «Синтез БМК» / П.Н. Бибило [и др.] // УсиМ. – 2001. – № 3. – С. 28–35.Бухтеев, А.В. Системы на кристалле. Новые тенденции / А.В. Бухтеев, В.В. Немудров // Электроника: наука, технологии, бизнес.– 2004. – № 3. – С. 52–56.Бухтеев, А.В. Системы на кристалле. Новые тенденции / А.В. Бухтеев, В.В. Немудров // Электроника: наука, технологии, бизнес.– 2004. – № 3. – С. 52–56.Кочанов, Д.А. Разработка лексического анализатора для транслятора VHDL-описаний логических схем / Д.А. Кочанов // Материалы Пятой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'04), Минск, 15–17 ноября 2004 г. – Минск: ОИПИ НАН Беларуси, 2004. – Т. 2. – С. 179–186.Кочанов, Д.А. Разработка лексического анализатора для транслятора VHDL-описаний логических схем / Д.А. Кочанов // Материалы Пятой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'04), Минск, 15–17 ноября 2004 г. – Минск: ОИПИ НАН Беларуси, 2004. – Т. 2. – С. 179–186.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.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.Кириенко, Н.А. Компиляция функционально-структурных описаний логических схем / Н.А. Кириенко // Автоматизация проектирования дискретных систем: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 1995. – С. 92–101.Кириенко, Н.А. Компиляция функционально-структурных описаний логических схем / Н.А. Кириенко // Автоматизация проектирования дискретных систем: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 1995. – С. 92–101.Торопов, Н.Р. Преобразование многоярусной комбинационной сети в двухъярус-ную / Н.Р. Торопов // Логическое проектирование: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 2000. – Вып. 5. – С. 4–14.Торопов, Н.Р. Преобразование многоярусной комбинационной сети в двухъярус-ную / Н.Р. Торопов // Логическое проектирование: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 2000. – Вып. 5. – С. 4–14.Черемисинова, Л.Д. К факторизационному методу синтеза многоуровневых схем на БИС / Л.Д. Черемисинова // Цифровая обработка информации и управление в чрезвычайных ситуациях: материалы Первой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'01), Минск, 14–17 ноября 1998 г. – Минск, 1998. – Т. 2. – С. 227–232.Черемисинова, Л.Д. К факторизационному методу синтеза многоуровневых схем на БИС / Л.Д. Черемисинова // Цифровая обработка информации и управление в чрезвычайных ситуациях: материалы Первой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'01), Минск, 14–17 ноября 1998 г. – Минск, 1998. – Т. 2. – С. 227–232.Торопов, Н.Р. Минимизация систем булевых функций в классе ДНФ / Н.Р. Торопов // Логическое проектирование: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 1999. – Вып. 4. – С. 4–19.Торопов, Н.Р. Минимизация систем булевых функций в классе ДНФ / Н.Р. Торопов // Логическое проектирование: сб. науч. ст. – Минск: Ин-т техн. кибернетики АН Беларуси, 1999. – Вып. 4. – С. 4–19.Кардаш, С.Н. Синтез комбинационных схем из библиотечных элементов / С.Н. Кардаш // Методы логического проектирования: сб. науч. тр. – Минск: ОИПИ НАН Беларуси, 2003. – Вып. 2. – С. 33–40.Кардаш, С.Н. Синтез комбинационных схем из библиотечных элементов / С.Н. Кардаш // Методы логического проектирования: сб. науч. тр. – Минск: ОИПИ НАН Беларуси, 2003. – Вып. 2. – С. 33–40.Кардаш, С.Н. Синтез комбинационных схем, реализуемых в составе базовых матричных кристаллов / С.Н. Кардаш // Материалы Пятой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'2004), Минск, 15–17 ноября 2004 г. – Минск: ОИПИ НАН Беларуси, 2004. – Т. 2. – С. 171–178.Кардаш, С.Н. Синтез комбинационных схем, реализуемых в составе базовых матричных кристаллов / С.Н. Кардаш // Материалы Пятой Междунар. конф. «Computer-Aided Design of Discrete Devices» (CAD DD'2004), Минск, 15–17 ноября 2004 г. – Минск: ОИПИ НАН Беларуси, 2004. – Т. 2. – С. 171–178.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.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.Романов, В.И. Использование механизма продукций для организации динамического меню в САПР функционально–логических схем / В.И. Романов // Актуальные проблемы радиоэлектроники: научные исследования, подготовка кадров: материалы конференции. – Минск: МГВРК, 2006. – C. 295–297.Романов, В.И. Использование механизма продукций для организации динамического меню в САПР функционально–логических схем / В.И. Романов // Актуальные проблемы радиоэлектроники: научные исследования, подготовка кадров: материалы конференции. – Минск: МГВРК, 2006. – C. 295–297.

The authors declare that there are no conflicts of interest present.