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.
Послать статью по эл. почте 