К.В. Сазонов – д.т.н., доцент, 

Военно-космическая академия имени А.Ф. Можайского (Санкт-Петербург)

E-mail: staffa78@mail.ru

Д.А. Тавалинский – д.т.н., доцент, 

Череповецкое высшее военное инженерное училище радиоэлектроники

E-mail: cvviur6@mil.ru

И.В. Абашева – адъюнкт, 

Военно-космическая академия имени А.Ф. Можайского (Санкт-Петербург)

E-mail: abasheva.izzi@mail.ru

Д.А Хапилина – инженер, 

Военно-космическая академия имени А.Ф. Можайского (Санкт-Петербург)

E-mail: dmbs@inbox.ru

Постановка проблемы. Существующая зависимость критических систем и ответственных видов аппаратуры от средств электроники (в том числе БИС и СБИС), произведенных на заводах, на которые невозможно в полной мере полагаться, обусловливают необходимость развития нового направления исследований – обратного проектирования в микроэлектронике. В интересах воспроизведения функционального аналога технической системы путем ее анализа и использования дополнительных доступных сведений о ее структуре и функциях целесообразно исследовать подходы к формализованному представлению топологии и микроархитектуры интегральных микросхем.

Цель. Исследовать методы формализованного представления топологии и микроархитектуры интегральных микросхем в интересах воспроизведения функционального аналога технической системы путем ее анализа и использования дополнительных доступных сведений о ее структуре и функциях.

Результаты. Рассмотрены основные методы формализованного представления топологии и микроархитектуры больших интегральных микросхем и сверхбольших интегральных микросхем. Приведены примеры, показывающие, что для автоматизации технологических этапов обратного проектирования целесообразно использовать HDL SystemVerilog и VHDL. При проектировании БИС и СБИС предпочтительно использовать SystemVerilοg.

Практическая значимость. Представленные описания позволяют систематизировать полученные данные после проведенных исследований, что может способствовать ускорению процесса отдельных этапов проектирования и соответственно динамизировать полный процесс обратного проектирования.

1. Белов Е.Н., Балыбин А.А., Пономарев А.А. и др. Перспективные технологии защиты микросхем от обратного проектирования в контексте информационной безопасности. М.: Техносфера. 2017. 216 с.
2. Харрис Д.М., Харрис С.Л. Цифровая схемотехника и архитектура компьютера. М.: ДМК Пресс. 2017. 772 с.
3. Поляков А.К. Языки VHDL и VERILOG в проектировании цифровой аппаратуры. Системы проектирования. М.: СОЛОНПресс. 2003. 320 с.
4. Коноплев Б.Г., Рындин Е.А., Ивченко В.Г. Описание проектов СБИС с использованием языка VHDL. Таганрог: ТРТУ. 1998. 28 с.
5. Стешенко В.Б., Попова Т.В., Малашевич Д.Б. Основы HDLVerilog как средства проектирования цифровых устройств. М.: МИЭТ. 2006. 136 с.
6. Уэйкерли Дж.Ф. Проектирование цифровых устройств. М.: Постмаркет. 2002. 544 с.
7. Ивченко В.Г. Применение языка VHDL при проектировании специализированных СБИС. Таганрог: ТРТУ. 1999. 80 с.