Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте www.za4et.net.ru

Компьютеры, Программирование Компьютеры, Программирование

Тестирование и верификация HDL-моделей компонентов SOC

Брелок LED "Лампочка" классическая.
Брелок работает в двух автоматических режимах и горит в разных цветовых гаммах. Материал: металл, акрил. Для работы нужны 3 батарейки
131 руб
Раздел: Металлические брелоки
Коврик для запекания, силиконовый "Пекарь".
Коврик "Пекарь", сделанный из силикона, поможет Вам готовить вкусную и красивую выпечку. Благодаря материалу коврика, выпечка не
202 руб
Раздел: Коврики силиконовые для выпечки
Ручка "Помада".
Шариковая ручка в виде тюбика помады. Расцветка корпуса в ассортименте, без возможности выбора!
25 руб
Раздел: Оригинальные ручки

1. Анализ тестопригодности графа управления Учитывая, что автоматная модель программного продукта представлена взаимодействием операционного и управляющего автомат, рис. 1, то наряду с моделированием транзакционного графа, необходимо иметь возможность анализировать тестопригодность граф-схемы алгоритма управления (ГСА). Рис. 1. Автоматная модель HDL-программыПредлагается ГСА представить в виде содержательного графа управления (СГУ), который является подобным транзакционному графу. Здесь вершины есть операции программного кода, а дуги представляют условия перехода из одной вершины в другую для выполнения команды, обозначенной вершиной-стоком. Следовательно, для СГУ можно использовать процедуры, ранее разработанные для подсчета критериев тестопригодности транзакционного графа в части управляемости и наблюдаемости. Примером содержательного графа может служить рис. 2, имеющий 6 вершин и 9 дуг. Рис. 2. Содержательный граф HDL-программыПодсчет управляемостей графа, представленного на рис. 2, имеет следующий вид: Подсчет наблюдаемостей графа, представленного на рис. 2, содержит следующие выражения: Рис. 3. Графики тестопригодности для графа управленияДля использования тестопригодности выполняется построение управляемости и наблюдаемости всех компонентов HDL-модели (рис. 3). Затем вычисляется обобщенная характеристика – тестопригодность каждого компонента как произведение управляемости и наблюдаемости:. (1)Далее интерес представляет создание таблицы тестопригодности, управляемости и наблюдаемости, а также соответствующий им график для визуального контроля «плохих» компонентов. Фиксация определенной планки тестопригодности, ниже которой значения будут считаться неприемлемыми, позволит разработчику создавать ассерции и другие дополнительные средства повышения тестопригодности для проблемных функциональных блоков. Кроме того, средства повышения тестопригодности должны обеспечивать глубину диагностирования до функционального компонента и привязанных к нему операций в целях быстрого восстановления работоспособности программной HDL-модели. В целях построения алгоритмов поиска ошибок в программном коде можно использовать таблицу неисправностей, по аналогии с технологией тестирования hardware. Любопытное решение в процессе проверки функциональных блоков связано с сигнатурным анализом, где обобщенная сигнатура отождествляется с исправным поведением всего кода, а также с каждым компонентом. Любое несовпадение эталонной сигнатуры с фактической приводит к выполнению процедуры диагностирования и восстановления работоспособности HDL-модели путем исправления семантики кода. Предложенная модель верификации HDL-проекта использует es be ch, функциональное покрытие, механизм ассерций, описанную выше метрику оценки тестопригодности, таблицу неисправностей и вектор экспериментальной проверки (ВЭП), формируемый по заданным контрольным точкам путем сравнения сигнатур. Функциональное ограничение es be ch связано с неразличимостью компонентов программного кода, в которых могут быть ошибки. Его основное назначение – проверка исправности HDL-модели. Поэтому в качестве дополнения к процедуре проверки придается механизм ассерций, основная цель которого с заданной глубиной – до программного компонента – определить место и вид ошибки на стадии выполнения диагностирования, после того, как es be ch зафиксировал неправильное функционирование программного проекта.

Две стадии верификации: тестирование и диагностирование – представлены ниже в виде следующих двух векторно-матричных операций: Для первой стадии используется двоичный вектор экспериментальной проверки , формируемый на основе процедуры тестирования. На второй стадии используется уже матрица экспериментальной проверки, которая с наперед заданной глубиной определяет диагноз проекта на основе сравнения технических состояний HDL-модели и механизма ассерций:В процессе выполнения процедуры верификации выполняется сравнение фактического и эталонного (специфицированного) технического состояния компонента путем применения операции Xor: Практически, если выполнены условия тестопригодности и правильно расставлены ассерции в критических точках программного кода для диагностирования всех компонентов, то ВЭП может однозначно идентифицировать адрес (место) и тип ошибки на основе построенной ранее таблицы неисправностей – механизма ассерций. 2. Верификация DC IP-core, Xili xПредставленные модели верификации программного HDL-кода проверены на реальном проекте Xili x IP-core в целях определения наличия в нем ошибок. При этом удалось получить положительный результат относительно неверной семантики работы программы для последующего исправления кода. Фрагмент модуля дискретного косинусного преобразования представлен листингом 1 . Вся HDL-модель насчитывает 900 строк кода Sys em Verilog. Листинг. 1. module Xili x ` imescale 1 s/10ps module dc ( CLK, RS , xi ,dc 2d,rdy ou ); ou pu xi ; / i pu / ou pu rdy ou ; wire dc 2d; . / he firs 1D-DC ou pu becomes valid af er 14 64 clk cycles. For he firs 2D-DC ou pu o be valid i akes 78 1clk o wri e i o he ram 1clk o wri e ou of he ram 8 clks o shif i he 1D-DC values 1clk o regis er he 1D-DC values 1clk o add/sub 1clk o ake complime 1 clk for mul iplyi g 2clks o add produc . So he 2D-DC ou pu will be valid a he 94 h clk. rdy ou goes high a 93rd clk so ha he firs da a is valid for he ex block / E dmodule В соответствии с правилами тестопригодного анализа, приведенными выше, спроектирован транзакционный граф как развитие графа регистровых передач, представленный на рис. 4, который для module Xili x имеет 28 вершин-компонентов (входная и выходная шины, логические и регистровые переменные, векторы и память). Рис. 4. Транзакционный граф Xili x моделиИдентификатор дуги имеет верхний индекс, обозначающий число транзакций в программе между исходящей и входящей вершинами. Для каждой вершины строятся логические функции управляемости и наблюдаемости. Пример логической функции управляемости для вершины имеет следующий вид:Для остальных вершин аналогично выполняется вычисление ДНФ функций управляемостей. Примеры вычисления функций наблюдаемостей для отдельных вершин имеют следующий вид: Синтезированные логические функции задают все возможные пути управления, как во времени, так и в пространстве, что можно считать новой аналитической формой описания тестопригодности проекта. По ДНФ, следуя выражениям для подсчета тестопригодности, можно определить критерии управляемости (наблюдаемости) для всех компонентов HDL-модели.

Здесь следует рассмотреть для варианта (сценария) обсчета программной модели. 1) Учитывается только графовая структура, где вес каждой дуги равен 1, независимо от числа транзакций в программном коде. 2). Все дуги графа отмечаются реальным количеством транзакций, имеющих место быть между двумя рассматриваемыми вершинами-компонентами транзакционного графа. Оценки тестопригодности описанных процедур могут существенно различаться друг от друга. Пользователь должен определиться, что важнее только структура программного кода – применить первый сценарий, или иметь более сложную и точную модель транзакций, распределенных во времени, на множестве графовых компонентов. В качестве примера ниже приводится процедура вычисления управляемости для вершины : . Применение аналогичных вычислений управляемостей (наблюдаемостей) для других вершин графа дает результат в виде графика, представленного на рис. 5, которые позволяют определить критические точки для установки необходимых ассерций. Такой вершиной может быть компонент , если транзакционный граф представлен одиночными дугами. Для случая, когда дуги отмечены реальным количеством транзакций, критические вершины принадлежат компонентам, находящихся ближе к выходной шине . Здесь существенным представляется не структура графа, а вес дуги входящей, который в большей степени оказывает негативное влияние, если структурная глубина рассматриваемого компонента достаточно высока. Используется формула (1) вычисления тестопригодности с мультипликативными членами , что дает оценку ниже, чем любой из сомножителей (управляемость, наблюдаемость). Если модифицировать формулу (1) исчисления тестопригодности для компонентов к следующему виду:,то кривая тестопригодности существенно поднимется вверх по оси ординат, чем обеспечивается меньший разброс параметров для каждой вершины. Данное обстоятельство фиксирует несколько отличные таблицы и графики, представленные ниже (рис.6). Рис. 5. Графики М-тестопригодности Xili x модели Рис. 6. Графики A-тестопригодности Xili x моделиИнтересным представляется поведение отдельных вершин. Например, управляемость вершины в мультипликативном транзакционном графе HDL-кода неожиданно «упала» вниз по сравнению с графом единичных дуг. Это связано с высоким весом транзакций, поступающих на рассматриваемую вершину со стороны входных компонентов , которые практически превращают в ноль значимость единичных транзакций от вершин . После определения управляемостей и наблюдаемостей вершин транзакционного графа выполняется подсчет обобщенного критерия тестопригодностей каждого компонента программного кода в соответствии с выражением (5). Затем определяется интегральная оценка тестопригодности проекта по формуле: ,которая определяет качество проектного варианта, что представляется весьма существенным при сравнении нескольких альтернативных решений. В качестве примера позитивного использования разработанных моделей и методов предлагается анализ тестопригодности программного кода дискретного косинусного преобразования из Xili x библиотеки. Было выполнено построение транзакционной модели, подсчет характеристик тестопригодности (), определение критических точек.

Речь идет о том, что одна и та же моделируемая сущность или система может быть представлена средствами языка UML по-разному. При этом разные разработчики могут построить объектные модели одной и той же системы, существенно отличающиеся не только формой своего представления, но и составом используемых в модели компонентов. Примечание 26 Хотя этот пакет имел самостоятельное значение в начальных версиях языка UML, однако в проектах последней версии его элементы объединились с пакетом Элементы ядра. Причиной этого послужило требование строгого вхождения каждого элемента в один пакет. Примечание 27 Объединение в языке UML средств концептуализации исходных требований к проектируемой системе и структуризации ее внутренних компонентов с достаточно богатой семантикой применяемых для этого элементов имеет важное значение для построения адекватных моделей сложных систем. Действительно, ограниченность традиционных моделей состоит в том, что они не позволяют одновременно описывать статические или структурные свойства системы и динамику ее проведения

1. Модели анализа тестирования в образовательном процессе

2. Построение verilog-модели ber-тестера для проверки каналов связи телекоммуникационных систем

3. Вселенная, которую я выбираю (Модель Вселенной Лео Шарка)

4. Стационарная модель Вселенной

5. Особенности Японской модели экономики

6. Социально-экономическая модель в Швеции: процесс становления и развития
7. Методы и модели демографических процессов
8. Краткие лекции по истории политических и правовых учений (к зачету-тестированию)

9. Российский опыт местного самоуправления: исторические модели и современное состояние

10. Словообразовательные модели неологизмов в современном английском языке

11. Социально-экономическая модель цивилизации древних майя

12. Основные черты античной модели

13. Основные положения консервативной модели общественного развития России

14. Модели TAKE-GRANT и их исследования

15. Краткий конспект лекций по Теории тестирования аппаратных и программных средств

16. Базовая Система Ввода Вывода (BIOS) (назначение, содержание) (. Тестирование оборудования при включении ПЭВМ, CMOS-память (WinWord 97))

Бумага "Color Copy" А4, белая, 150 листов.
Плотность: 280 г/м2. В пачке 150 листов. Белизна CIE 168%. Многофункциональная матовая бумага высшего качества без покрытия для создания
680 руб
Раздел: Формата А4 и меньше
Солнцезащитные шторки Spiegelburg "Капитан Шарки. Capt'n Sharky".
В комплекте 2 штуки. Размер: 37x44 см. Материал: полиэстер.
896 руб
Раздел: Прочее
Ручка-стилус шариковая сувенирная "Николай".
Перед Вами готовый подарок в стильной упаковке — шариковая ручка со стилусом. Она имеет прочный металлический корпус, а именная надпись
415 руб
Раздел: Металлические ручки

17. Построение информационной и даталогической моделей данных

18. Fox Pro - реляционная модель данных

19. Модули и объекты в языке Турбо Паскаль 7.0

20. Верификация и аттестация программного обеспечения

21. Организационный инструментарий управления проектами (сетевые матрицы, матрица разделения административных задач управления, информационно-технологическая модель)

22. Стохастическая диффузионная модель гетерогенных популяций
23. Алгебраическое и графическое решение уравнений, содержащих модуль
24. Основополагающие принципы андрагогической модели обучения: Оптимальные условия их применения

25. Образовательная модель В.Ф. Шаталова как технология интенсивного обучения

26. Современные модели управление образовательно-воспитательными учреждениями. Модели управления учреждениями (шпаргалка)

27. Электропривод и автоматизация главного привода специального вальцетокарного станка модели IK 825 Ф2

28. Построение и исследование динамической модели портального манипулятора

29. Разработка модели повседневного платья

30. Компьютерные модели автомобилей

31. Познавательные психические процессы. Мышление, тестирование уровня мышления

32. Анализ операций умножения и деления в конкретной модели АЛУ

Коробка подарочная "Прованс".
Коробка подарочная. Материал: мелованный, ламинированный, негофрированный картон плотностью 1100 г/м2. Отделка: полноцветный декоративный
302 руб
Раздел: Коробки
Стержень для шариковых ручек "QuinkFlow", синий, F.
Стержень для шариковых ручек "QuinkFlow". Цвет чернил: синий. Длина: 98 мм. Линия письма: F.
343 руб
Раздел: Стержни для ручек
Транспортир для класса, деревянный, с держателем.
Материал - дерево.
388 руб
Раздел: Транспортиры

33. Разработка и исследование модели отражателя-модулятора (WinWord zip-1Mb)

34. Методы размещения и трассировки печатных плат на примере модуля памяти

35. Модуль управления кодовым замком

36. Социальная модель Дойча - взгляд каббалиста

37. Методы и модели демографического прогнозирования

38. МОДЕЛЬ ЯДРА АТОМА И ТАБЛИЦА ЭЛЕМЕНТОВ
39. Математические модели естествознания
40. Космогонические модели ионйцев

41. МОДЕЛЬ ЯДРА АТОМА И ТАБЛИЦА ЭЛЕМЕНТОВ

42. Бизнес-план как модель инвестиционного проекта

43. Оценка экономической целесообразности производства ПЭВМ, с помощью электронной модели.

44. Японская модель менеджмента

45. Японская модель управления на рубеже ХХI века: традиционное и современное

46. Разработка стратегической модели на МП "Вельский хлебозавод"

47. Методология CCM (Capability Maturity Model for Software) – модель развития способности организации разрабатывать и сопровождать программные продукты) в менеджменте качества проектов

48. Исследование особенностей японской модели менеджмента

Набор чернографитовых карандашей "Art", 12 штук.
Набор чернографитовых карандашей содержит 12 заточенных карандашей различной твердости - 2Н, Н, F, HB, В, 2В, 3В, 4В, 5В, 6В, 7В,
405 руб
Раздел: Чернографитные
Настольная игра "Проныры".
Новая игра — уникальная шестиуровневая ходилка. Игроки собирают припасы и перемещаются с поля на поле через специальные потайные лазы.
1192 руб
Раздел: Игры с фигурками
Кружка-хамелеон "Кран с монетками".
Хотите по-настоящему регулировать денежные потоки? Налейте в чашку-хамелеон горячий напиток, и из крана на рисунке «польются» золотые
390 руб
Раздел: Кружки

49. Модель разработки стратегии для ОАО "Аливария"

50. Современные модели управление образовательно-воспитательными учреждениями. Модели управления учреждениями (шпаргалка)

51. Технико-экономические показатели "Модуля УТ для пропорциональной команды"

52. Диверсификация цен: сущность и современные модели

53. Принципы и модели ценообразования

54. Овладение методикой построения экономико-математических моделей, решение конкретных задач по стратегическому планированию и прогнозированию
55. Анализ модели дуаполии
56. Лабораторные работы по ЭММ (системы уравнений межотраслевого баланса; оптимизационная модель межотраслевого баланса)

57. Модель Курно, Модель Стэкельберга

58. Нахождения равновесной в модели Эрроу-Гурвица

59. Построение экономической модели с использованием симплекс-метода

60. Конспект лекций по курсу ЭММ (Экономико-математические методы и модели)

61. Новая модель экономики и общественного устройства

62. Японская модель экономики

63. Определения основных понятий 1-9 глав книги: "Рынок: микро-математическая экономика экономическая модель"

64. Модель смены технологического уклада

Светильник садовый плавающий на солнечных батареях "Лилия розовая".
Декоративный солнечный садовый светильник в виде лилии, водонепроницаемый. Применяется для декорации пруда. Светодиод меняет цвет.
413 руб
Раздел: Необычные светильники
Набор детской складной мебели "Маша и Медведь. Азбука 3".
Комплект складной, подходит для кормления, игр и обучения. Поверхность столешницы ламинированная с нанесением ярких познавательных
1971 руб
Раздел: Наборы детской мебели
Вешалка для одежды напольная, раздвижная ТД-00013, 1600x430x1550 мм.
Длина: 160 см. Регулируемая высота: 90-155 см. Ширина: 43 см. Количество перекладин: 1. Максимальная нагрузка: 15 кг. Вешалка напольная
861 руб
Раздел: Вешалки напольные

65. Инфляция: виды, модели, показатели

66. Шведская модель смешанной экономики

67. Кризис индустриальной цивилизации и политэкономическая модель производства

68. Английская модель развития капитализма

69. Анализ Югославской модели социализма

70. Мусульманский мир: модель экономической организации общества
71. Становление Советской модели экономического развития индустриализации и коллективизации
72. FIAT: новые модели

73. Модели железных дорог

74. Модули, файлы и записи

75. Семиуровневая модель OSI

76. Установление вида, модели и идентификации нарезного оружия по стреляной пуле и гильзе

77. Придворная культура в век Екатерины II и западная модель светского образа жизни и светского образования

78. Интерпретационный потенциал номинативной модели

79. Модель урока

80. Математические модели и методы их расчета

Заварочный чайник эмалированный Mayer & Boch "Подсолнух", 1,5 л, с ситечком.
Заварочный эмалированный чайник. Материал корпуса: углеродистая сталь. Толщина стенок - 0,8 мм. Внешнее и внутреннее покрытие -
715 руб
Раздел: Чайники заварочные
Набор из скатерти и салфеток "Botanica", 140x180/42x42 см.
В набор входит скатерть и 6 салфеток "Botanica" 140x180/42x42 см. Салфетки, изготовленные из экологически чистого материала,
961 руб
Раздел: Салфетки сервировочные из ткани
Звуковой планшет "Транспорт".
Звуковой планшет - прекрасный подарок ребёнку! Он удобен и прост в использовании, подходит как для самостоятельного изучения, так и с
313 руб
Раздел: Планшеты и компьютеры

81. Модель управления конфликтными потоками в классе алгоритмов

82. Математическая модель взаимодействия подсистем производства сельхозпродуктов в районных АПК

83. Математические модели инфляции

84. Нечетко-логические модели и алгоритмы

85. Применение информатики, математических моделей и методов в управлении

86. Дискретно-темпоральная модель вселенной
87. Исследование решений одной системы интегро-дифференциальных уравнений, возникающей в моделях динамики популяций
88. Расчет адгезионных характеристик металлов в модели обобщенного потенциала Хейне-Абаренкова

89. Итоговое государственное тестирование

90. Три модели русского менеджмента

91. Модели и методы принятия решения

92. Организационно-технологическая модель принятия решения

93. Экономическая психология, модели экономического поведения, стратегический альянс

94. Формально-логические модели конфликтов

95. Модель конкурентоспособности товара

96. Системные предпосылки формирования модели системы управления маркетинговой деятельностью предприятия сферы услуг

Настольная игра "Найди пару", арт. ВВ2411.
Игра помогает тренировать память, концентрировать внимание и развивать зрительно-моторную координацию движений. Игра способствует
411 руб
Раздел: Прочие
Дневник школьный "Пробка", цвет обложки синий.
Формат: А5+ (210х170 мм). Количество листов: 48. Внутренний блок: тонированный офсет 70 г/м2. Способ крепления блока:
362 руб
Раздел: Для младших классов
Карандаши восковые, 24 цветов, выкручивающийся стержень.
Восковые карандаши отличаются необыкновенной яркостью и стойкостью цвета, легко смешиваются, создавая огромное количество оттенков. Очень
367 руб
Раздел: Восковые

97. Новая модель управления для XXI века

98. Модель горячей Вселенной

99. Научные основания моделей мироздания в концепции современного эволюционизма

100. Физико-химическая модель генерации и эмиссии метана на донных осадков озера Байкал


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.