Бибило П. Н., Кардаш С. Н., Романов В. И. СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ. Информатика. 2006;(4(12)):79-87.
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.
