Разработка моделей и алгоритмов функциональной верификации при проектировании программируемых логических интегральных схем тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Дьячков, Юрий Владимирович
- Специальность ВАК РФ05.13.12
- Количество страниц 139
Оглавление диссертации кандидат технических наук Дьячков, Юрий Владимирович
ВВЕДЕНИЕ
1. АНАЛИЗ СИСТЕМ И СРЕДСТВ АВТОМАТИЗАЦИИ 12 ПРОЕКТИРОВАНИЯ И ИЗБЫТОЧНОГО ТЕСТИРОВАНИЯ СОВРЕМЕННЫХ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ
1.1. Этапы проектирования цифровых устройств на базе ПЛИС в САПР
1.2. Анализ современных средств автоматизированной верификации и 21 избыточного тестирования ПЛИС
1.3. Особенности построения среды функциональной верификации и 30 генерации тестов
1.4. Цель и задачи исследования
2. РАЗРАБОТКА МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ 40 ПРОЦЕССА ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ
2.1. Построение структурной схемы процесса функциональной 40 верификации ПЛИС
2.2. Формирование тестовых последовательностей для верификации 43 ПЛИС на основе стандарта IEEE
2.3. Построение графовой модели верификационного окружения ПЛИС
Рекомендованный список диссертаций по специальности «Системы автоматизации проектирования (по отраслям)», 05.13.12 шифр ВАК
Разработка моделей и алгоритмов верификации в САПР высокоразрядных СБИС спектрального анализа2006 год, кандидат технических наук Башкиров, Алексей Викторович
Автоматизация проектирования систем цифровой фильтрации в базисах ПЛИС и заказных микросхем2008 год, кандидат технических наук Плотников, Павел Владимирович
Аппаратная реализация кодеков Рида-Соломона на плис на основе высокоуровневых параметризованных описаний функциональных узлов2012 год, кандидат технических наук Тайлеб ур. Мазуз Незхат
Методы и средства автоматизации тестопригодного проектирования смешанных интегральных схем2013 год, доктор технических наук Мосин, Сергей Геннадьевич
Конструкторский синтез спецвычислителей на базе ПЛИС методом функциональной декомпозиции2005 год, кандидат технических наук Волков, Андрей Валентинович
Введение диссертации (часть автореферата) на тему «Разработка моделей и алгоритмов функциональной верификации при проектировании программируемых логических интегральных схем»
Актуальность темы. Программируемые логические интегральные еъемы (ПЛИС) все больше завоевывают рынок микроэлектроники, вытесняя микросхемы с фиксированной логикой. Современные образцы ПЛИС, выполненные по 0,22-микронной технологии, способны работать на частотах до 300 МГц и реализуют до 10 млн. эквивалентных логических вентилей. Столь резкое увеличение мощности ПЛИС позволяет использовать их не только для реализации простых контроллеров и интерфейсных узлов, но и для цифровой обработки сигналов, сложных интеллектуальных контроллеров и нейрочипов. Одним из важных этапов автоматизированного проектирования ПЛИС является функциональная верификация, позволяющая еще на этапе компиляции схемы на уровне формирования ее RTL-модели обнаружить все несоответствия работы схемы и локализовать ошибки с высокой степенью точности.
Постоянное совершенствование и увеличивающаяся сложность производимых ПЛИС приводит к разрыву между технологией их изготовления и возможностями современных САПР ПЛИС. Существующие в настоящее время системы верификации ПЛИС имеют ряд недостатков, связанных ограничениями при моделировании, которые накладываются международным стандартом арифметики с плавающей точкой IEEE-754. Стандартные верификационные платформы, обладая высокой степенью универсальности, характеризуются сложностью адаптации к особенностям проектируемых объектов. Кроме того, применение стандартных платформ не позволяет в полной мере локализовать и оперативно устранять ошибки в процессе тестирования, так как выявление неисправностей осуществляется после завершения полной функциональной верификации всего проекта.
В связи с этим возникает задача разработки методов и средств функциональной верификации ПЛИС с возможностью выявления ошибок в реальном масштабе времени и продолжения моделирования после их устранения без возврата к началу проекта. При этом важным требованием к разрабатываемому верификационному окружению является наличие средств направленной автоматической генерации тестов, а также совместимость с современными САПР ПЛИС.
Таким образом, актуальность диссертационной работы определяется необходимостью разработки математического и программного обеспечения для решения задач полной функциональной верификации ПЛИС любой степени интеграции, позволяющего повысить степень локализации ошибок и сократить затраты времени на проведение тестирования.
Работа выполнена в соответствии с одним из основных научных направлений ГОУ ВПО «Воронежский государственный технический университет» «САПР и системы автоматизации производства», а также в рамках ГБ НИР 2004.17 «Методы исследования и повышения надежности и качества при проектировании радиоэлектронных устройств и систем».
Цель и задачи исследования. Целью диссертационного исследования является разработка моделей, алгоритмов и программных средств функциональной верификации программируемых логических интегральных схем и создание на их основе тестового окружения ПЛИС, обеспечивающего повышение скорости верификации на ранних этапах проектирования.
Для достижения поставленной цели необходимо решить следующие основные задачи: провести анализ методов и средств функциональной верификации ПЛИС на различных этапах создания проекта, рассмотреть место и роль процедур верификации при автоматизированном проектировании ПЛИС; разработать методику всеобщего и поэлементного тестирования с учетом конструктивных особенностей ПЛИС; сформировать математические модели создания тестовых последовательностей для верификации ПЛИС и входящих в них блоков; построить алгоритмы функционального тестирования ПЛИС и процедуры автоматизированного управления генерацией тестов; разработать верификационное программное обеспечение ПЛИС и средства его интеграции со стандартными САПР.
Методы исследования. При выполнении работы использованы принципы системного анализа, методы математического моделирования ПЛИС, элементы теории обработки и математического моделирования цифрового сигнала, элементы теории чисел с плавающей арифметикой, автоматизированного проектирования, элементы теории тестирования и верификации сложных программируемых логических интегральных схем. При разработке программных средств применялись методы системного программирования.
Научная новизна результатов исследования. В работе получены следующие результаты, характеризующиеся научной новизной: методика безвозвратного избыточного тестирования ПЛИС, позволяющая проводить функциональную верификацию на разных уровнях детализации объекта проектирования, осуществлять локализацию ошибок с высокой степенью точности и вносить изменения в проект на любом этапе без проведения повторной верификации; модель верификационного окружения ПЛИС обеспечивающая возможность многократного прогона тестов для разных типов ПЛИС и позволяющая проводить моделирование на уровне транзакций, верификацию интерфейсов различных подсистем одновременно с их проектированием; математические модели формиррвания тестовых последовательностей для верификации ПЛИС и их элементов, обеспечивающие полноту покрытия верификационными тестами функциональной модели проектируемой схемы и позволяющие выявлять несоответствия RTL-кода спецификации на уровне транзакций с возможностью многократного использования сгенерированных тестов в других проектах; алгоритмы функционального тестирования ПЛИС, отличающиеся наличием процедур автоматизированного управления генерацией тестов и позволяющие проводить структурную, поэлементную и всеобщую верификацию в реальном масштабе времени при отсутствии жестких ограничений на размерность проекта (количество блоков, плотность и особенности топологии); верификационное тестовое окружение ПЛИС, характеризующееся использованием технологии компонентно-модульного синтеза тестируемых блоков, и обеспечивающее совместимость со стандартными средствами проектирования ПЛИС, а также оперативный доступ к информации о . сравниваемых схемах и результатах сравнения.
Практическая ценность. На основе предложенных моделей и алгоритмов разработан программный комплекс, позволяющий производить функциональную верификацию программируемых логических интегральных схем и их элементов посредством автоматизированного создания тестовых векторов (тестбенчей) и сравнения отклика на них с .эталонными данными, с ведением протокола в реальном времени, что исключает участие человека. Использование этого программного комплекса позволяет значительно ускорить процесс верификации программируемых логических интегральных схем и других проектов глубоко-субмикронной техники, а также выявлять ошибки на ранних стадиях проектирования, быстро и безошибочно, по протоколу, определять точное местоположение дефектного модуля любого уровня разукрупнения, а также проводить верификацию без постоянного участия человека.
Основные положения диссертации в виде автоматизированного программного комплекса внедрены в ОАО Концерн «Созвездие» и в учебный процесс ГОУ ВПО ВГТУ, на кафедре конструирования и производства радиоаппаратуры.
Апробация работы. Основные положения и результаты диссертационной работы докладывались и обсуждались на следующих конференциях, совещаниях и семинарах: Международной конференции «Системные проблемы надежности, качества, информационных и электронных технологий» (Сочи 2006-2009); Всероссийской научнотехнической конференции молодых ученых «Современные проблемы радиоэлектроники» (Красноярск, КГТУ, 2006-2009); ежегодных научно-технических конференциях ГОУ ВПО «Воронежский государственный технический университет» и научно-методических семинарах кафедры конструирования и производства радиоаппаратуры (2006-2009).
Публикации. По теме диссертации опубликовано 18 печатных работ, в том числе 1 - в издании, рекомендованном ВАК РФ
В работах, опубликованных в соавторстве и приведенных в конце автореферата, лично соискателю принадлежат: алгоритмы верификации ПЛИС [30]; методы и алгоритмы верификационного окружения ПЛИС [31,32,48,49,81]; математические модели модулей, входящих в состав ПЛИС [50,51,73,109,112]; методика оценки эффективности верификации [82,89,111]; математические модели виртуальных прототипов и анализ эффективности применения общего языка описания аппаратуры [74,88,90,110].
Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, списка использованных источников, включающего 113 наименования, приложений. Основная часть работы изложена на 110 страницах, содержит 36 рисунков и 11 таблиц.
Похожие диссертационные работы по специальности «Системы автоматизации проектирования (по отраслям)», 05.13.12 шифр ВАК
Методы и алгоритмы повышения отказоустойчивости программируемых логических интегральных схем на основе КМОП элементов с избыточным базисом2013 год, кандидат технических наук Громов, Олег Александрович
Автоматизация проектирования систем цифровой обработки сигнала на основе интегрированной среды имитационного моделирования и оптимизации2006 год, доктор технических наук Савинков, Андрей Юрьевич
Система автоматизированного проектирования многоканальных преобразователей время - код на базе ПЛИС2002 год, кандидат технических наук Привалов, Алексей Александрович
Автоматизация проектирования конфигурируемого цифрового DDS-модулятора на основе динамически реконфигурируемых ПЛИС2005 год, кандидат технических наук Мурсаль Салим Насар
Разработка математического и программного обеспечения генерации тестовых последовательностей и верификации сложных цифровых схем1999 год, кандидат технических наук Зизин, Георгий Валентинович
Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Дьячков, Юрий Владимирович
4.4 Основные выводы четвертой главы
1. На основании ранее предложенных математических моделей и алгоритмов построен программный комплекс, написанный на языке С++, созданный для работы на платформе Linux, позволяющий разработчику в диалоговом режиме проводить тестирование составных частей (сумматоров, умножителей, ПЗУ, ОЗУ, регистров, микроконтроллеров), и всего ПЛИС в целом, дающий выигрыш во времени и качественно улучшающий верификацию. Программный комплекс позволяет легко выявлять и локализовывать ошибку в RTL-коде ПЛИС, и в режиме реального времени вносить соответствующие изменения.
2. Разработанные программные средства в автоматическом режиме производит генерацию тестовых последовательностей для ПЛИС, для умножителей и сумматоров на плавающей арифметике. Затем сгенерированные тестовые последовательности подаются в качестве стимулов на входные интерфейсы модуля на тестировании, а результаты на выходе сравниваются с эталонными вычисленными программным средством, все расхождения протоколируются в специальный файл-лог. Запуск симуляции осуществляется путем исполнения скриптов автоматизации BASH. Это обеспечивает многократный прогон тестов без непосредственного участия человека.
3. Разработанные средства верификации поддерживают все стандартные языки проектирования и верификации - VHDL, Verilog, VHDL-AMS, Verilog-A, Spice, С, С++, SystemC, System Verilog, MATLAB, PSL assertions и др.
4. Результаты проведенных исследований использовались в ГБ НИР 2004.17 «Проектирование и технология электронных средств» выполненной на кафедре КИПРА ВГТУ. Основные положения диссертации в виде автоматизированного программного комплекса внедрены в ОАО Концерн «Созвездие».
ЗАКЛЮЧЕНИЕ
В диссертационной работе получены следующие основные результаты:
1. Проведен анализ структуры и конструктивных особенностей современных ПЛИС, а также процесса их синтеза и реализации на уровне транзакций и RTL-модели. Проанализирован процесс проектирования блоков ОЗУ, ПЗУ, сумматоров и умножителей, встроенных микропроцессоров с описанием особенностей реализации для них тестовых последовательностей;
2. Предложена методика функционального тестирования ПЛИС и построена структурная схема процесса верификации с возможностью точной локализации ошибок и продолжения моделирования после их устранения без возврата к началу проекта.
3. Сформированы математические модели создания тестовых последовательностей для функциональной верификации как ПЛИС в целом, так и входящих в ее состав блоков. Разработана модель тестового окружения ПЛИС. Математические модели характеризуются универсальностью и могут быть использованы при проектировании ПЛИС различных типов.
4. Разработаны процедуры управления генерацией тестов и на их основе создан автоматический генератор тестовых последовательностей многократного использования.
5. Построены алгоритмы структурной, поэлементной и всеобщей верификации ПЛИС с возможностью проведения тестирования в реальном масштабе времени.
6. Разработано программное обеспечение для функционального тестирования ПЛИС, позволяющее в диалоговом режиме проводить всестороннее избыточное тестирование составных частей и всего ПЛИС в целом, выявлять ошибки на ранних стадиях проектирования, оперативно определять точное местоположение дефектного модуля любого уровня разукрупнения. Разработанное тестовое окружение ПЛИС поддерживает все стандартные платформы проектирования и верификации.
7. Проведена апробация разработанного комплекса моделей, алгоритмов и программных средств при верификации различных типов ПЛИС.
Список литературы диссертационного исследования кандидат технических наук Дьячков, Юрий Владимирович, 2010 год
1. Максфилд К. Проектирование на ПЛИС. Курс молодого бойца. М.: Издательский дом «Додэка-ХХ1», 2007. - 408 е.: ил
2. Зотов В.Ю. Проектирование встраиваемых микропроцессорных систем на основе ПЛИС фирмы XILINX. — М.: Горячая линия Телеком, 2006. - 520 е., ил.
3. Джон Ф. Уэйкерли Проектирование цифровых устройств Том I. М.: Постмаркет. 2002. - 1088 е., ил.
4. Зотов В.Ю. Проектирование цифровых устройств на основе ПЛИС фирмы XILINX в САПР WebPACK ISE. М.: Горячая линия - Телеком. 2003. - 624 е., ил.
5. Блейхут Р. Быстрые алгоритмы цифровой обработки сигналов: Пер. с англ. -М.: Мир, 1989. -448 е., ил.
6. Система синтаксического и семантического контроля VHDL-описаний "VHDL-анализатор". Руководство пользователя. М.: РосНИИИС, 1991. 112 с.
7. Резидентный справочник по языку VHDL. Руководство пользователя. М.: РосНИИИС, 1993. 21 с.
8. Alliance: A Complete CAD System for VLSI Design. Users manual. Paris: Universite Pierre et Marie Curie, 1997.
9. Bergeron J., Writing Testbenches. Functional verification of HDL models. New York: Kluwer Academic Publishers, 2003. - 348 c.
10. Wilcox P., Professional verification. A guide to advanced functional verification. — Boston: Kluwer Academic Publishers, 2004. — 208 c.
11. Piziali A., Functional verification coverage measurement and analysis. -Boston: Kluwer Academic Publishers, 2004. 230 c.
12. Munden R., ASIC and FPGA verification: A guide to component modeling. San Francisco: Morgan Kaufmann Publishers, 2005. - 338 c.
13. Поляков А.К., VHDL и Verilog в проектировании цифровой ппаратуры. М.:СОЛОН-Пресс, 2003. - 320с.
14. Сергиенко A.M., VHDL для проектирования вычислительных устройств. К.: ЧП «Корнейчук», ООО ТИД «ДС», 2003. - 208 с.
15. Pedroni V.A., Circuit Design with VHDL. Cambridge, Massachusetts: MIT Press, 2004. - 376 c.
16. Smith D.J., HDL Chip Design. Madison, AL, USA: Doone Publications, 1997.-456 c.
17. VHDL язык описания аппаратных средств: Учеб. пособие / А.С. Яицков; Под. ред. акад. B.C. Бурцева, акад. Б.С. Митина. М.: Изд-во МАТИ-РГТУ "ЛАТМЭС", 1998. - 119 с.
18. IEEE. 2002. ANSI/IEEE Std 1076-2002, Standard VHDL Language Reference Manual.
19. IEEE. 2000. ANSI/IEEE Std 1076-2000, Standard VHDL Language Reference Manual.
20. IEEE. 1999. ANSI/IEEE Std 1076.6-1999, Standard for VHDL Register Transfer Level (RTL) Synthesis.
21. Chu E., George A., Inside FFT black box. Serial and parallel Fast Fourier Transform Algorithms. London: CRC Press, 2000. - 308 c.
22. Гольденберг Л.М и др. Цифровая обработка сигналов. Справочник / Л.М. Гольденберг, Б.Д. Матюшкин, М.Н. Поляк М.: Радио и связь, 1985. -312 с.
23. Угрюмов Е.П. Цифровая схемотехника. СПб.: БХВ — Санкт-Петербург, 2000
24. Coonen, J. 1984. Contributions to a Proposed Standard for Binary Floating-Point Arithmetic.Ph. D. thesis, University of California at Berkeley, USA.
25. IEEE. 1985. ANSI/IEEE Std 754-1985, Standard for Binary FloatingPoint Arithmetic.Reprinted in ACM SIGPLAN Notices 22(2):9-25, 1987.
26. IEEE. 1987. ANSI/IEEE Std 854-1987, Standard for Radix-independent Floating-Point Arithmetic.
27. Paxson, V. and Kahan, W. 1991. A program for testing IEEE decimal-binary conversion. Technical report, University of California at Berkeley, USA.
28. Verdonk, В., Cuyt, A., and Verschaeren, D. 1999. A precision and range independent tool for testing floating-point arithmetic I: basic operations, square root and remainder. ACM Transactions on Mathematical Software. Submitted.
29. Steven W. «The Scientist and Engineer's Guide to Digital Signal Processing» California Technical Publishing, 2-nd edition, 1999.
30. Дьячков Ю.В. Автоматизированное создание тестовых векторов при верификации программируемых логических интегральных схем / Ю.В. Дьячков, С.Ю. Белецкая // Вестник Воронеж, гос. техн. ун-та. 2009. - Т.2 -№11 - С. 66-67.
31. Дьячков Ю.В. Синтез устройств на базе плис Xilinx / Дьячков Ю.В., Башкиров А.В., Белецкая С.Ю. // Сист. проблемы надёжности, качества, информационно-телекоммуникационных и электронных технологий в управлении инновационными проектами 2009, с. 95-99.
32. Браммер Ю. А., Пащук И. Н. «Импульсные и цифровые устройства» 6-е изд., М., «Высшая школа», 1999 rt5
33. Журнал «Chip News» №3 1996 г.
34. Гольд Б., Рейдер Ч. Цифровая обработка сигналов. -М.: Сов. радио, 1973.-367 с.
35. Гриффите. Простой адаптивный алгоритм для обработки сигналов антенных решеток в реальном времени // ТИИЭР. -1969. -Т. 57, №10. С. 6
36. Применение цифровой обработки сигналов; Пер. с англ. / Под ред. А. Оппенгейма. -М.: Мир, 1980. 552 с.
37. Рабинер Jl. Р., Гоулд Б. Теория и практика цифровой обработки сигналов. -М.: Мир, 1978. 848 с.
38. Рабинер Л. Р., Шафер Р. В. Цифровая обработка речевых сигналов. -М.: Радио и связь, 1981. 495 с.
39. Crochiere, R. Е., and L. R. Rabiner. Multi-Rate Signal Processing. Englewood Cliffs, NJ: Prentice Hall, 1983.
40. Hayes, M. H. Statistical Digital Signal Processing and Modeling. New York: John Wiley & Sons, 1996.
41. IEEE. Programs for Digital Signal Processing. IEEE Press. New York: John Wiley & Sons, 1979.
42. Jackson, L. B. Digital Filters and Signal Processing. Third Ed. Boston: Kluwer Academic Publishers, 1989.
43. Баскаков С. И. Радиотехнические цепи и сигналы: Учеб. для вузов по спец. "Радиотехника". М.: Высш. шк., 2000.
44. Введение в цифровую фильтрацию / Под ред. Р. Богнера и А. Константинидиса. М.: Мир, 1976.
45. Голд Б., Рэйдер Ч. Цифровая обработка сигналов / Пер. с англ., под ред. А. М. Трахтмана. М., "Сов. радио", 1973, 368 с.
46. Гоноровский И. С., Демин М. П. Радиотехнические цепи и сигналы: Учеб. пособие для вузов. М.: Радио и связь, 1994.
47. Дьячков Ю.В. Иерархия моделей БИС на этапе функционально-логического проектирования / Ю.В. Дьячков, А.В. Башкиров, М.А. Ромащенко// Современные проблемы радиоэлектроники: сб. науч. тр. -Красноярск: СФУ, 2008, с. 123-125.
48. Дьячков Ю.В. Проектирование структуры 32-разрядного сумматора / Дьячков Ю.В.// Современные проблемы радиоэлектроники: сб. науч. тр. Красноярск: СФУ, 2008, с. 54-58.
49. Иванов М.Т., Сергиенко А. Б., Ушаков В. И. Теоретические основы радиотехники. Учебное пособие / под ред. В. Н. Ушакова М.: Высш. шк., 2002.
50. Каппелини В., Константинидис А. Дк., Эмилиани П. Цифровые фильтры и их применение. М.: Энергоатомиздат, 1983.
51. Карташев В. Г. Основы теории дискретных сигналов и цифровых фильтров. М.: Высш. шк., 1982.
52. Куприянов М. С., Матюшкин Б. Д. Цифровая обработка сигналов: процессоры, алгоритмы, средства проектирования. - СПб.: Политехника, 1999.
53. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высш. шк., 1983.272 с.
54. Баталов Б.В., Русаков С.Г., Савин В.В. Пакет прикладных программ автоматизации схемотехнического проектирования для персональных компьютеров // Микропроцессорные средства и системы. 1988, № 4, с. 63-66.
55. Диалоговые системы схемотехнического проектирования / В.И. Анисимов, Г.Д. Дмитревич, К.Б. Скобельцын и др. Под. Ред. В.И. Анисимова. М.: Радио и связь, 1988. 288 с.
56. Ильин В.Н., Коган B.JI. Разработка и применение программ автоматизации схемотехнического проектирования. М.: Радио и связь, 1984. 368 с.
57. Кренкель Т.Е., Коган А.Г., Тараторин A.M. Персональные ЭВМ в инженерной практике. М.: Радио и связь, 1989. 337 с.
58. Автоматизация проектирования: сб. науч. тр. / Под ред. В.А. Трапезникова. М.: 1986, вып. 1, 275 с.
59. Системы автоматизированного проектирования в радиоэлектронике: Справочник / Е.В. Авдеев, А.Т. Еремин, И.П. Норенков, М.И. Песков; Под ред. И.П. Норенкова. М.: Радио и связь, 1986. 386 с.
60. Karam, L. J., and J. Н. McClellan. "Complex Chebyshev Approximation for FIR Filter Design." IEEE Trans, on Circuits and Systems II. March 1995.
61. Kay, S. M. Modern Spectral Estimation. Englewood Cliffs, NJ: Prentice Hall, 1988.
62. Marple, S. L. Digital Spectral Analysis. Englewood Cliffs, NJ: Prentice Hall, 1987 (имеется русский перевод см. 27.).
63. Oppenheim, А. V., and R. W. Schafer. Discrete-Time Signal Processing. Englewood Cliffs, NJ: Prentice Hall, 1989
64. Orfanidis, S. J. Introduction to Signal Processing. Upper Saddle River, NJ: Prentice Hall, 1996.
65. Parks, T. W., and C. S. Burrus. Digital Filter Design. New York: John Wiley & Sons, 1987.
66. Pratt, W. K. Digital Image Processing. New York: John Wiley & Sons,1991.
67. Percival, D. В., and A. T. Walden. Spectral Analysis for Physical Applications: Multitaper and Conventional Univariate Techniques. Cambridge: Cambridge University Press, 1993.
68. Proakis, J. G., and D. G. Manolakis. Digital Signal Processing: Principles, Algorithms, and Applications. Englewood Cliffs, NJ: Prentice Hall, 1996.
69. Rabiner, L. R., and B. Gold. Theory and Application of Digital Signal Processing. Englewood Cliffs, NJ: Prentice Hall, 1975 (имеется русский перевод- см. 30.).
70. Марпл-мл. С. JI. Цифровой спектральный анализ и его приложения / Пер. с англ. М.: Мир, 1990.
71. Оппенгейм А. В., Шафер Р. В. Цифровая обработка сигналов: Пер. с англ. / Под ред. С. Я. Шаца. М.: Связь, 1979.
72. Прокис Дж. Цифровая связь. Пер. с англ. / Под ред. Д. Д. Кловского.- М.: Радио и связь, 2000.
73. Рабинер JI, Гоулд Б. Теория и применение цифровой обработки сигналов / Пер. с англ.; Под ред. Ю. И. Александрова. М.: Мир, 1978.
74. Сергиенко А. Б. Цифровая обработка сигналов. СПб.: Питер, 2002.
75. Сиберт У. М. Цепи, сигналы, системы: В 2-х ч. / Пер. с англ. М.: Мир, 1988.
76. Дьячков Ю.В. Алгоритмизация функционального тестирования СБИС и систем на кристалле / Ю.В Дьячков., Н.В. Астахов // Современныепроблемы радиоэлектроники: — Красноярск: Сибирский федеральный ун-т; Политехнический ин-т, 2007., с. 211-215.
77. Скляр Б. Цифровая связь. Теоретические основы и практическое применение: Пер. с англ. М.: Издательский дом "Вильяме", 2003. - 1104 с.
78. Феер К. Беспроводная цифровая связь. Методы модуляции и расширения спектра. Пер. с англ. М.: Радио и связь, 2000.
79. Френке JI. Теория сигналов. / Пер. с англ., под ред. Д. Е. Вакмана. -М.: Сов. радио, 1974.
80. Хемминг Р. В. Цифровые фильтры: Пер. с англ. / Под ред. А. М. Трахтмана. М.: Сов. радио, 1980.
81. Рудаков П.И, Сафонов В.И. Обработка сигналов и изображений Matlab 5.x. Диалог-МИФИ. 2000.
82. Дьячков Ю.В. Анализ объекта проведения отбраковочных испытаний / А.В. Башкиров, Ю.В. Дьячков, А.В. Муратов // Современные проблемы радиоэлектроники: сб. науч. тр. Красноярск: ИПЦ, 2005. С. 325327.
83. Дьячков Ю.В. Проблема повышения эффективности пассивной радиолокации. / Ю.В. Дьячков, А.В. Муратов // Современные проблемы радиоэлектроники: Сб. научн. тр. Красноярск :ИПЦ, 2005., с 42-44
84. Selesnick, I. W., and С. S. Burrus. "Generalized Digital Butterworth Filter Design." Proceedings of the IEEE Int. Conf. Acoust., Speech, Signal Processing. Vol. 3 (May 1996).
85. Selesnick, I. W., M. Lang, and C. S. Burrus. "Constrained Least Square Design of FIR Filters without Specified Transition Bands." Proceedings of the
86. EE Int. Conf. Acoust., Speech, Signal Processing. Vol. 2 (May 1995). Pgs. 1260-1263.
87. Stoica, P., and R. Moses. Introduction to Spectral Analysis. Upper Saddle River, NJ: Prentice Hall, 1997.
88. Welch, P. D. "The Use of Fast Fourier Transform for the Estimation of Power Spectra: A Method Based on Time Averaging Over Short, Modified Periodograms." IEEE Trans. Audio Electroacoust. Vol. AU-15 (June 1967). Pgs. 70-73.
89. Потемкин В.Г. Инструментальные средства Matlab 5.x. Диалог-МИФИ. 2000.
90. Потемкин В.Г. Система инженерных и научных расчетов MATLAB 5.x (в 2-х томах). Диалог МИФИ. 1999.
91. Баскаков С.И. Радиотехнические цепи и сигналы. М.: Высшая школа, 1988.
92. Гоноровский И.С. Радиотехнические цепи и сигналы. М.: Радио и связь, 1986.
93. Гольденберг JI.M., Матюшкин Б.Д., Поляк М.Н. Цифровая обработка сигналов. Справочник М.: Радио и связь, 1985.
94. Цифровые фильтры в электросвязи и радиотехнике / Под ред. JI.M. Гольденберга. М.: Радио и связь, 1982.
95. Рабинер П., Гоулд Б. Теория и применение цифровой обработки сигналов. М.:Мир, 1978.
96. Марпл C.JI. Цифровой спектральный анализ. М.:Мир, 1990.
97. Стешенко В.Б. ПЛИС фирмы ALTERA: проектирование устройств обработки сигналов. М.: Додэка, 2000.
98. Стешенко В.Б. Школа разработки аппаратуры цифровой обработки сигналов на ПЛИС. Chip News, №8-10,1999, №1,3-5, 2000.
99. Стешенко В.Б. Школа схемотехнического проектирования устройств обработки сигналов. Компоненты и технологии, № 3-8, 2000, №1— 3,2001.
100. HDL Chip Design. Smith, Douglas J. Madison, AL: Doone Publications, 1996.
101. IEEE Standard VHDL Language Reference Manual. New York: Institute of Electrical and Electronics Engineers, Inc., 1994.
102. Дьячков Ю.В. Методика измерения спектральных параметров быстродействующих цифро-аналоговых преобразователей / Ю.В. Дьячков, М.С. Гладких // Современные проблемы радиоэлектроники: сб. науч. тр. -М.: «Радио и связь», 2006, с. 311-313.
103. Астахов Н.В. Входной и выходной буфер для блока быстрого преобразования Фурье на 256К точек / Н.В. Астахов, А.В. Башкиров // Современные проблемы радиоэлектроники: сб. науч. тр. М.: Радио и связь, 2006. С. 425-426
104. Дьячков Ю.В. Модели использования функциональных виртуальных прототипов / Ю.В. Дьячков В.Г. Небогин // Современные проблемы радиоэлектроники: сб. науч. тр. — М.: «Радио и связь», 2006, с. 320 -322.
105. Дьячков Ю.В. Новый подход к функциональной верификации / Ю.В Дьячков, И.А, Суворин // Современные проблемы радиоэлектроники: сб. науч. тр. М.: «Радио и связь», 2006, с. 324 - 327.
106. Дьячков Ю.В. Ключ к повышению эффективности пассивной радиолокации быстрое преобразование Фурье / А.В. Башкиров, А.В. Муратов // Современные проблемы радиоэлектроники: сб. науч. тр. / - М.: «Радио и связь», 2006, с. 432 - 434.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.