Автоматизация проектирования специализированных устройств генерации полных комбинаторных перестановок элементов символьной строки тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Соболев, Сергей Сергеевич

• Соболев, Сергей Сергеевич
• кандидат технических наук
• 2012

Оглавление диссертации кандидат технических наук Соболев, Сергей Сергеевич

Введение.

1. Анализ средств автоматизированного проектирования устройств генерации полных комбинаторных и возможности их применения для обеспечения безопасности распределенных СУБД.

1.1. Современное состояние и развитие микрокомпонентной базы устройств генерации комбинаторных перестановок.

1.2. Проектирование устройств генерации комбинаторных перестановок на основе функциональных блоков.

1.3. Применение генерации полных комбинаторных перестановок в сфере информационной безопасности. Постановка задачи.

2. Методика проектирования и математическое обеспечение моделирования генерации полных комбинаторных перестановок с отсевом недопустимых перестановок.

2.1. Методика проектирования специализированных устройств генерации полных комбинаторных перестановок.

2.2. Метод генерации поведенческого описания, ЯТЬ-описания и тестового окружения для блока генерации перестановок.!.

2.3. Математическое обеспечение генерации полных комбинаторных перестановок.

2.3.1. Алгоритм генерации полных комбинаторных перестановок с применением циклического сдвига.

2.3.2. Локализация неподвижных точек и алгоритм их отсева при комбинаторной генерации перестановок.

2.3.3. Локализация инволюций и алгоритм их отсева при комбинаторной генерации перестановок.

3. Моделирование генерации перестановок на системном уровне и ЯТЬ-уровне.

3.1. Моделирование генерации перестановок на системном уровне.

3.2. Моделирование генерации перестановок на ЯТЬ-уровне.

4. Структура и функциональность программного комплекса и оценка эффективности.

4.1. Особенности разработанного программного обеспечения и его внедрения в САПР специализированных устройств генерации комбинаторных перестановок.:.

4.2. Оценка эффективности разработанного программного комплекса.

Основные результаты работы.

Введение диссертации (часть автореферата) на тему «Автоматизация проектирования специализированных устройств генерации полных комбинаторных перестановок элементов символьной строки»

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

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

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

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

Обозначенные проблемы, а также многообразие входных параметров генерации комбинаторных перестановок и увеличение сложности схемы блока генерации с ростом длины символьной строки, повышают риск субъективных ошибок и, таким образом, увеличивают влияние «человеческого фактора» на качество всего проекта. В результате, использование традиционной методологии в процессе проектирования рассматриваемых устройств представляется затруднительным. В этой связи, актуальной задачей представляется разработка средств автоматизации проектирования специализированных устройств генерации комбинаторных перестановок элементов символьной строки, обеспечивающих высокое качество целевых устройств и позволяющих максимально автоматизировать процесс проектирования и верификации на системном и ИЛЬ-уровнях.

Диссертационная работа выполнена в рамках госбюджетной НИР кафедры вычислительной техники и информационных систем ВГЛТА «Автоматизация проектных работ при создании изделий микроэлектроники и лесного комплекса», ГР №01.2.00609244, код ГРНТИ 68.47.01; 50.49.

Объектом исследования является средства автоматизированного проектирования специализированных устройств генерации полных комбинаторных перестановок, предназначенных для обеспечения конфиденциальности данных в рамках СУБД.

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

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

В соответствии с поставленной целью в диссертационной работе необходимо решить следующие задачи:

1. провести анализ современного состояния средств автоматизированного проектирования специализированных устройств генерации полных комбинаторных перестановок, выделить направления их текущего развития;

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

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

4. разработать алгоритмическую основу формирования множества комбинаторных перестановок, учитывающей особенности проектирования устройств генерации полных комбинаторных перестановок на системном уровне и уровне регистровых передач (RTL);

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

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

Научная новизна результатов, полученных при решении вышеперечисленных задач исследования, состоит в следующем:

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

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

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

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

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

На основе предложенных методов, математических моделей и алгоритмов разработано программное обеспечение. Оно внедрено в ЗАО НПП «РЕЛЭКС» (г. Воронеж) с экономическим эффектом 405 тыс. рублей и в учебный процесс ФГБОУ ВПО «Воронежская государственная лесотехническая академия» (в учебно-методические материалы дисциплин «Системы автоматизации проектирования», «Схемотехническое и функциональное проектирование электронной компонентной базы в САПР», «Методы проектирования микроэлектронных устройств» для подготовки студентов ВГЛТА по направлению «Информационные системы и технологии», а также аспирантов и докторантов по специальности 05.13.12 - Системы автоматизации проектирования).

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

Выносятся на защиту:

- методика проектирования специализированных устройств генерации полных комбинаторных перестановок элементов символьной строки;

- метод генерации функциональных блоков для устройств формирования множества комбинаторных перестановок элементов символьной строки переменной разрядности;

- метод аппаратной генерации полных комбинаторных перестановок в символьной строке переменной разрядности;

- алгоритм формирования множества полных комбинаторных перестановок элементов символьной строки переменной разрядности.

Соответствие паспорту специальности. Согласно паспорту специальности 05.13.12 - Системы автоматизации проектирования, задачи, рассмотренные в диссертации, соответствуют областям исследований:

1. методология автоматизированного проектирования в технике, включающая постановку, формализацию и типизацию проектных процедур и процессов проектирования, вопросы выбора методов и средств для применения в САПР;

3. разработка научных основ построения средств САПР, разработка и исследование моделей, алгоритмов и методов для синтеза и анализа проектных решений, включая конструкторские и технологические решения в САПР и АСТПП.

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на Международной научной конференции

Проблемы управления, передачи и обработки информации» (Саратов,'2009), Международной научно-практической конференции «Молодежь и наука: реальность и будущее» (Невинномыск, 2010), Всероссийской конференции с элементами научной школы для молодежи «Математическое моделирование в технике и технологии» (Воронеж, 2011), Международной научно-практической конференции «Современные проблемы гуманитарных и естественных наук» (2011).

Публикации результатов работы. По теме диссертации опубликовано 20 работ, в том числе 6 статей в изданиях Перечня, определенного ВАК Ми-нобрнауки России, 1 монография, 1 свидетельство об официальной регистрации программ для ЭВМ, а также 1 патент на изобретение.

Личное участие заключается в определении цели и задач работы [1-3, 13-14], в выполнении научно-технических исследований [10-11], разработке и анализе моделей [4, 5, 15, 18, 19], разработке алгоритмов [10-12], разработке методики проектирования [6, 7, 16, 17, 20], программной реализации [9] и аппаратной реализации [8].

Структура и объём работы. Диссертация состоит из введения, четырех глав, заключения, изложенных на 129 страницах, включающих в себя список литературы из 104 наименований, 30 рисунков и 13 таблиц.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Соболев, Сергей Сергеевич

Основные результаты работы

1. Проведен анализ современного состояния средств автоматизированного проектирования специализированных устройств генерации полных комбинаторных перестановок, определены направления их текущего развития.

2. Разработана методика проектирования специализированных устройств, решающих задачу генерации полных комбинаторных перестановок с функцией фильтрации недопустимых перестановок.

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

4. Разработаны алгоритмы формирования множества комбинаторных перестановок, учитывающие особенности проектирования устройств генерации комбинаторных перестановок.

5. Разработано программное обеспечение подсистемы автоматизации проектирования устройств генерации комбинаторных перестановок, включающее в себя:

- программные средства, реализующие подсистему автоматической генерации функциональных блоков для формирования множества полных комбинаторных перестановок на системном и ЯТЬ-уровнях проектирования;

- программные средства, реализующие автоматическую генерацию тестов для функциональных блоков генерации комбинаторных перестановок;

- программные средства подсистемы верификации, предоставляющие возможность автоматизировать процесс верификации функциональных блоков генерации полных комбинаторных перестановок.

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

7. Разработанные программные средства внедрены в единую среду сквозного проектирования специализированных устройств генерации перестановок в рамках дизайн-центра (ЗАО НПП «РЕЛЭКС», г. Воронеж) с полученным экономическим эффектом в размере 405 тыс. рублей и в учебный процесс Воронежской государственной лесотехнической академии.

Список литературы диссертационного исследования кандидат технических наук Соболев, Сергей Сергеевич, 2012 год

1. Адамов, Ю.Ф. Проектирование систем на кристалле Электронный ресурс. / Ю.Ф. Адамов. Электрон, дан. - [Б. м.], [200-?]. - Режим доступа: http://bmstu-sm5.narod.ru/puchkov/puchkovlec.pdf. - Загл. с экрана. -Яз. рус.

2. Адигеев, М.Г. Введение в криптографию. Часть 1. Основные понятия, задачи и методы криптографии Текст. / М.Г. Адигеев. Ростов-на-Дону: Ростовский гос. ун-т, 2002. - 35 с.

3. Атре, Ш. Структурный подход к организации баз данных Текст. / Ш. Атре. М.: Финансы и статистика, 1983. - 320 с.

4. Бадин, М. Платформенный принцип проектирования СБИС и ПЛИС. Часть 1 Текст. / М. Бадин, Д. Воронков, А. Руткевич, М. Сенченко, В. Стешенко, Г. Шишкин // Электронные компоненты. 2008. - №1.

5. Байбурин, В.А. Имитационное моделирования анализа стойкости криптографических систем Текст. / М.О. Оболонский, М.Б. Бровкова // Информационная безопасность регионов. 1 (2). - 2008. - С. 24-32.

6. Бибило, П.Н. Основы языка VHDL Текст. / П.Н. Бибило. М.: СО-ЛОН-Р, 2002. - 224 с.

7. Бибило, П.Н. Системы моделирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum Текст. / П.Н. Бибило. М.: СОЛОН Пресс, 2005. - 384 с.

8. Голицына, О.Л. Базы данных: учебное пособие Текст. / О.Л. Голицына, Н.В. Максимов, И.И. Попов. М.: ФОРУМ: ИНФРА-М, 2007. - 400.

9. ГОСТ 28147-89. Системы обработки информации. Защита криптографическая. Алгоритм криптографического преобразования. Текст. М.: Госстандарт СССР. - 1989.

10. Дейт, К. Введение в системы баз данных, 8-е издание Текст.: Пер. с англ. / К. Дейт. — М.: Издательский дом "Вильяме", 2005. — 1328 с.

11. Диго, С.М. Проектирование и использование баз данных Текст. / С.М. Диго. М.: Финансы и статистика, 1995. - 208 с.

12. Дуброво, И.Г. Распределенные базы данных Текст. / И.Г. Дуброво, В.А. Танюшкина. -М.: МИСИ, 1981.-68 с.

13. Евтушенко, Н.Д. Методология проектирования систем на кристалле: Основные принципы, методы, программные средства Текст. / Н. Д. Евтушенко, В. Г. Немудров, И. А. Сырцов // Электроника: наука, технология, бизнес. 2003. - N 6. - С. 7-11

14. Змитрович, А.И. Базы данных Текст. / А.И. Змитрович. Мн.: Университетское, 1991.-271 с.

15. Зольников, В.К. Создание отечественной проектной среды разработки микроэлектронных систем Текст. / В.К. Зольников, В.Н. Ачкасов, П.Р. Машевич, И.П. Потапов // Вестник ВГТУ. Системы автоматизации проектирования, 2006, вып. 2. №3. - С.9-11.

16. Зольников, В.К Автоматизация проектирования специализированных устройств генерации полных комбинаторных элементов символьной строк Текст. / В.К.Зольников, С.С.Соболев. Воронеж: ВГЛТА, 2011. -124 с.

17. Ключев, А.О. Программное обеспечение встроенных вычислительных систем: Учебное пособие Текст. / А.О.Ключев, П.В.Кустарев, Д.Р.Ковязина, Е.В.Петров. СПб.: СПбГУ ИТМО. - 2009. - 212 с.

18. Кнут, Д. Искусство программирования, том 4, выпуск 2. Генерация всех кортежей и перестановок Текст. : Пер. с англ. / Д. Кнут. М.: ООО "И.Д. Вильяме", 2008. - 160 с.

19. Краковик, А. Базы данных Текст. / А. Краковик. М.: Мир, 1988. - 246 с.

20. Кривченко, И. Конфигурируемая система на кристалле Е5 первое знакомство Текст. / И. Кривченко, Р. Золотухо // Компоненты и технологии. - 2001. - №1. - С. 26-29.

21. Кривченко, И. Системы на кристалле: общее представление и тенденции развития Текст. / И. Кривченко // Компоненты и технологии. -2001.- №6.

22. Курейчик, В.М. Комбинаторные аппаратные модели и алгоритмы в САПР Текст. / В.М.Курейчик, В.М.Глушань, Л.И.Щербаков М.: Изд. «Радио и связь». - 1990. - 216 с.

23. Мартин, Д. Организация баз данных в вычислительных системах Текст. / Д. Мартин. М.: 1980. - 602 с.

24. Машевич, П.Р. Инструментальные средства автоматизации проектирования дизайн центра Текст.: монография / П.Р. Машевич, В.К. Зольников; ВГУ. Воронеж, 2006. - 284 с.

25. Машевич, П.Р. Создание отечественной промышленной технологии автоматизации разработки и изготовления СБИС Текст. / П.Р. Машевич, Ю.К. Фортинский // Информационные технологии моделирования и управления. 2005. - №2(20). - С.301-306.

26. Мейер, Д. Теория реляционных баз данных Текст. / Д. Мейер. М.: Мир, 1987.-608 с.

27. Метечко, В.И. Системы распределенных баз данных Текст. / В.И. Ме-течко. М.: МИФИ, 1987. - 66 с.

28. Молдовян, A.A. Криптография Текст. / A.A. Молдовян, H.A. Молдо-вян, Б.Я. Советов. СПб.: Издательство «Лань», 2001. - 224 с.

29. Молодченко, Ж.А. Математические модели транспозиционных преобразований Текст. / Ж.А. Молодченко, Л.С. Сотов, В.Н. Харин // Информационно-измерительные и управляющие системы. Москва, 2007. -№12, том 5.-С. 58-60.

30. Нагао, М. Структуры и базы данных Текст. / М. Нагао, Т. Катаяма, С. Уэмура. М.: Мир, 1986. - 197 с.

31. Немудров, В. Системы-на-кристалле. Проектирование. Проектирование и развитие Текст. / В. Немудров., Г. Мартин. Москва: Техносфера, 2004.-216 с.

32. Новиков, Ф.А. Дискретная математика для программистов Текст. / Ф.А. Новиков. СПб.: Питер, 2003. - 304 с.

33. Норенков, И.П. Системы автоматизированного проектрования электронной и вычислительной аппаратуры Текст. / И.П. Норенков, В.Б. Маничев. М.: Высшая школа, 1983. - 272 с.

34. Озкарахан, Э. Машины баз данных и управление базами данных Текст. / Э. Озкарахан. М: Мир, 1989. - 695 с.

35. Пат. на изобретение RU №2320000 С1, МПК G06F 7/76 (2006.01), G06F 12/14 (2006.01). Дешифратор управляемой побитовой транспозиции информации, хранимой в персональной ЭВМ Текст. / Молодченко Ж.

36. A., Сотов Л.С., Харин В. Н. (Россия). №2007105175/09; заявл. 13.02.2007; опубл. 20.03.2008. - Бюл. №8. - 6 с.

37. Пат. на изобретение RU №2419174 G11C 19/00 (2006.01) Устройство управляемого циклического сдвига Текст. / Сотов Л.С., Харин В.Н., Соболев С.С. (Россия). №2009134344/08; заявл. 14.09.2009; опубл. 20.05.2011.-Бюл. №14. - Юс.

38. Программа моделирования комбинаторных преобразований форматов представления данных в ЭВМ (DMATRIX). Свидетельство об официальной регистрации программ для ЭВМ / Л.С. Сотов, С.С. Соболев,

39. B.Н. Харин. -№ 2010612449 от 07.04.2010.

40. Ревунков, Г.И. Базы и банки данных и знаний Текст. / Г.И. Ревунков, Э.Н. Самохвалов, В.В. Чистов. М.: Высш. шк., 1992. - 392 с.

41. Саймон, А.Р. Стратегические технологии баз данных Текст. / А.Р. Саймон. М.: Знание, 1982. - 254 с.

42. Сергиенко, A.M. VHDL для проектирования вычислительных устройств Текст. / A.M. Сергиенко. К.: ЧП «Корнейчук», ООО «ТИД «ДС», 2003.-208 с.

43. Соболев, С.С. Автоматизация проектирования устройств генерации комбинаторных перестановок / С.С. Соболев, В.К. Зольников // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ).

44. Краснодар: КубГАУ, 2012. (принята к публикации и включена во второй номер журнала 2012 года).

45. Соболев, С.С. Алгоритм работы и модель функционального генератора перестановок Текст. / С.С. Соболев, Л.С. Сотов, В.Н. Харин // Информационные технологии. 2010. - №4. - С. 41-46.

46. Соболев, С.С. Динамическое форматирование структурных объектов хранилищ данных Текст. / С.С. Соболев, Л.С. Сотов, В.Н. Харин // Проблемы информационной безопасности. Компьютерные системы. -2008,-№4.-С. 28-33.

47. Соболев, С.С. Локализация обратимых пар при комбинаторной генерации перестановок с применением циклического сдвига Текст. / С. С.

48. Соболев, С.С. Методика, модели и алгоритмы проектирования устройств генерации комбинаторных перестановок Текст. / С.С. Соболев,

49. B.К. Зольников // Моделирование систем и процессов. 2011. - №4.1. C. 23-29.

50. Соболев, С.С. Модели устройств кросс-кластерных перестановок данных в ЭВМ Текст. / С.С. Соболев, Л.С. Сотов, В.Н. Харин // Вестник компьютерных и информационных технологий. 2009. - №12. - С.51-55.

51. Соболев, С.С. Устройство функционального генератора перестановок Текст. / С.С. Соболев, Л.С. Сотов, В.Н. Харин // Моделирование систем и процессов. 2011. - №1-2. - С. 59-64.

52. Стенли, Р. Перечислительная комбинаторика Текст.: пер. с англ. / Р. Стенли. М.: Мир, 1990. - 440 с.

53. Страуструп, Б. Язык программирования С++ Текст.: Пер. с англ. / Б. Страуструп. 3-е спец. изд. - М.: Бином, 2003. - 1104 с.

54. Суворова, Е.А. Проектирование цифровых систем на УНОЬ Текст. / Е.А. Суворова, Ю.Е. Шейнин. СПб.: БХВ-Петербург, 2003. - 576 с.

55. Тарасов, И.Е. Разработка цифровых устройств на основе ПЛИС ХШпх с применением языка УНБЬ Текст. / И.Е. Тарасов. М.: Горячая линия - Телеком, 2005. - 252 с.

56. Тиори Т., Фрей Дж. Проектирование структур баз данных. В 2 кн. Текст. / Т. Тиори, Дж. Фрей. М: Мир, 1985.

57. Угрюмов, Е.П. Цифровая схемотехника Текст. / Е.П. Угрюмов. СПб.: БХВ-Петербург, 2000. - 528 с.

58. Ульман, Д. Основы систем баз данных Текст. / Д. Ульман. М.: Финансы и статистика, 1983. - 334 с.

59. Цегелик, Г.С. Системы распределенных баз данных Текст. / Г.С. Цеге-лик, Г.С. Львов: Свит, 1990. - 167 с.

60. Шагурин, И. Системы на кристалле. Особенности реализации и перспективы применения / И. Шагурин // Электронные компоненты. -2009.-№1.

61. Шнайер, Б. Практическая криптография Текст. : Перевод с англ. / Б.Шнайер, Н.Фергюсон. М.: Вильяме. - 2005. - 424 с.

62. Announcing the ADVANCED ENCRYPTION STANDARD (AES) Текст. / Federal Information Processing Standards Publication 197. November 26. -2001.-51 pp.

63. Bell, D. Distributed Database Systems Текст. / D. Bell, J. Grimson. Ad-dison-Wesley Publishing Company, Inc., 1992. -410 c.

64. Black, D.C. SystemC: From the Ground Up Текст. / D.C. Black, J. Donovan. Kluwer Academic Publishers, Boston, 2004. - 244 c.

65. Catapult С Synthesis Overview Электронный ресурс. / Mentor Graphics. All rights reserved. Электрон, текстовые и граф. дан. - [Б. м.], [200-?]. - Режим доступа: http://www.mentor.com/esl/catapult/overview. - Загл. с экрана. - Яз. англ.

66. Chu, Pong P. FPGA Prototyping by VHDL Examples Текст. / Pong P. Chu. John Wiley & Sons, Inc., 2008. - 468 c.

67. Data Encryption Standard (DES) Текст. / Federal Information Processing Standard Publication. FIPS PUB 46-3, National Bureau of Standards, 1977.-26 pp.

68. Ferguson, N. Cryptography Engineering: Design Principles and Practical Applications Текст. / N. Ferguson, B. Schneier, T. Kohno. Wiley Publishing. Inc., Indianapolis, Indiana, 2010. - 353 c.

69. Ghosal, P. Hardware Implementation of TDES Crypto Текст. / P. Ghosal, Mai. Biswas, Man. Biswas // Journal of telecommunications . V.l - ISS. 1. -FEB. 2010. - P. 113-117.

70. Grotker, T. System Design with SystemC Текст. / Т. Grotker, G.Martin, S. Liao, S. Swan. Kluwer Academic Publishers, Boston, 2002. - 240 c.

71. IEEE Std 1076-2008 VHDL Language Reference Manual Текст. / The Institute of Electrical and Electronics Engineers, Inc. 3 Park Avenue, New York, NY 10016-5997, USA. 2009.

72. IEEE Std 1666-2005 SystemC Language Reference Manual / The Institute of Electrical and Electronics Engineers, Inc. 3 Park Avenue, New York, NY 10016-5997, USA.-2008.

73. ISO/IEC 14882:2003. Information Technology Текст. Programming Languages. - С++. - 2nd edition. - ISO/IEC, 2003. - 757 c.

74. Keating, M. Reuse Methodology Manual, Third Edition Текст. / Michael Keating, Pierre Bricaud. Kluwer Academic Publishers. - Bos-ton/Dordrech/London. - 2002.

75. Kimball, R. The Data warehouse lifecycle toolkit: expert methods for designing, developing, and deploying data warehouses Текст. / R. Kimball, L.Reeves, M.Ross, W.Thornthwaite. John Wiley & Sons, Inc., 1998. - 780 c.

76. Matsui, M. Linear cryptanalysis method for DES cipher Текст. / M. Matsui //Workshop on the theory and application of cryptographic techniques on Advances in cryptology. Springer-Verlag. - 1994. - pp. 386-397.

77. Maxfield, С. The Design Warrior's Guide to FPGAs Текст. / С. Maxfield. -Newnes, 2004.-542 c.

78. Moldovyan, A.N. New Class of Cryptographic Primitives and Cipher Design for Networks Security Текст. / A.A.Moldovyan, M. A. Eremeev, N. Sklavos // International Journal of Network Security, 2006. Mar. - Vol.2. - No.2. -pp. 114-125.

79. Network on Chip (NoC) Internet Technology for SoCs Электронный ресурс. / Arteris. The Network-on-Chip Company. Электрон, текстовые и граф. дан. - [Б. м.], [2011?]. - Режим доступа: http://www.arteris.com/technology.php. - Загл. с экрана. - Яз. англ.

80. OCP-IP запускает тесты "сетей-на-чипе" Электронный ресурс. / IXBT. Электрон, текстовые и граф. дан. - [Б. м.], [2007?]. - Режим доступа: http://www.ixbt.com/news/hard/index.shtml707/92/27. - Загл. с экрана. -Яз. рус.

81. Pasham, V. High-Speed DES and Triple DES Encryptor/Decryptor Текст. : Xilinx Application Note: Virtex-E Family and Virtex-II Series / Vikram Pa-sham and Steve Trimberger. XAPP270 (vl.O), August 03.-2001.

82. Ritter, T. Transposition Cipher with Pseudo-Random Shuffling: The Dynamic Transposition Combiner Текст. / T.Ritter // Cryptologia. 1991. V. 15 (l).-P. 1-17.

83. Sklavos, N. Encryption and data dependent permutations: implementation cost and performance evaluation Текст. / N. Sklavos // Proceedings of the International Workshop. Springer-Verlag. - 2003. - LCNS 2776. - pp. 337-348.

84. Synplify Pro 7.7 Release Notes Электронный ресурс. / Synopsis, Inc. -Электрон, текстовые и граф. дан. [Б. м.], [200-?]. - Режим доступа: http://www.synopsis.com. - Загл. с экрана. - Яз. англ.

85. SystemC Version 2.0 User's Guide Электронный ресурс. / Open SystemC Initiative. Электрон, дан. - [Б. м.], [200-?]. - Режим доступа: http://www.systemc.org/downloads/standards. - Загл. с экрана. - Яз. англ.

86. U. S. Pat. No. 5,734,721 B1 H04L9/00 Anti-spoof without error extension (ANSWER)/Clark James Monroe Текст. March 31, 1998.

87. Vahid, F. Digital Design with RTL Design, VHDL and Verilog Текст. : 2nd edition / F. Vahid. John Wiley and Sons Publishers, 2010. - 592 c.

88. Visual Studio 2010 Электронный ресурс. / Microsoft. All rights reserved. Электрон, текстовые и граф. дан. - [Б. м.], [201-?]. - Режим доступа: http://msdn.microsoft.com/en-us/library/dd831853.aspx. - Загл. с экрана. -Яз. англ.

89. Соболева Сергея Сергеевича на тему «Автоматизация проектирования специализированных устройств генерации полных комбинаторныхперестановок элементов символьной строки» (специальность 05.13.12 Системы автоматизации проектирования)

90. Разработанный комплекс программного обеспечения был внедрен в единый маршрут проектирования устройств генерации перестановок, используемых в системах аппаратной поддержки технологий шифрования конфиденциальной информации в современных реляционных СУБД.

91. Общее сокращение временных затрат проектирования при применении разработанной системы составило 32 человеко-дня для устройств генерации

92. УТВЕРЖДАЮ» Ректор ФГБОУ ВПО «Воронежская государ" ^ственная лесотехничептгаа яхгатгст/г1ха\\1. Бугаков

93. Внедрения результатов исследования в учебный процесс позволило оценить эффективность разработанных средств за счет устранения субъективных рисков проектирования данных устройств.

94. Заведующий кафедрой вычислительной техники и информационных системд.т.н., профессор —■ Зольников В.К.