ГОСТР 55692— 2013
образом, результатом работы симулятора являются динамические и статические «портреты» модели
руемого устройства.
В качестве симулятора выбран программный пакет ModelSim компании Mentor Graphics. В на
стоящее время этот пакет является самой распространенной системой HDL-моделирования. В пакете
реализована полная поддержка всех основных стандартов языков VHDL и Verilog и их расширений. В
данном симуляторе предусмотрена поддержка библиотек всех ведущих фирм-изготовителей как ПЛИС
семейств FPGA (Field Programmable Gate Array) и CPLD (Complex Programmable Logic Device), так и
ASIC (Application-Specific Integrated Circuit).
Данный симулятор имеет открытую архитектуру, что позволяет интегрировать его с разраба
тываемой системой. Пользователь может выполнять все этапы моделирования в рамках разраба
тываемой системы для построения тестов. Средства управления пользовательским интерфейсом
Tel (Tool command language) и Tk (Tool kit) предоставляют возможность организации прямого до
ступа к моделирующему ядру симулятора, загрузки информации о выполнении процесса модели
рования и его результатов в базу данных, а также возможность управления работой симулятора
через интерфейс применяемых средств. Симулятор может работать как в интерактивном, так и в
пакетном режиме.
Следует отметить, что в этом симуляторе имеется индикатор активности кода, позволяющего бы
стро создавать полные тестовые последовательности. Этот инструмент предоставляет возможность
проследить строки исходного HDL кода устройства, которые не «активизировались» в процессе моде
лирования. чтодает возможность организовать управление входными тестовыми последовательностя
ми и оценить глубину тестирования устройства. Индикатор активности кода может быть использован
как на уровне отдельного блока, так и для всей системы в целом.
Пакет ModelSim существует как в виде коммерческого продукта, так и в виде свободно распро
страняемой версии. Свободная версия имеет ряд ограничений, но предварительное ее использование
показало, что эти ограничения не являются существенными для разрабатываемой системы. Поэтому в
качестве симулятора и была выбрана свободно распространяемая версия пакета.
6.1.15 Анализатор результатов моделирования
Этот компонент системы осуществляет анализ полученных в ходе одного прогона моделирова
ния тестовых «портретов» устройства и принимает решение об их состоятельности. Он вырабатывает
также команды для генератора тестовых последовательностей, с помощью которых обеспечивается из
менение параметров генерации входных сигналов. Затем весь процесс подготовки и запуска моделиро
вания начинается заново с новыми входными последовательностями. Таким образом, обеспечивается
обратная связь между выходом и входом системы, с помощью которой реализуются алгоритмы поиска
состоятельных тестовых «портретов».
Все компоненты системы автоматизированного построения тестов работают в тесном взаимо
действии друг с другом. Результатом работы системы применительно к конкретному ОК являются его
тестовые «портреты» устройства. На их основе в дальнейшем формируются тест-программы на языке
ЯСТЭКдля использования в установках тестового контроля идиагностики.
3.2 Пример составления тестовой программы на языке системы тестового контроля
ЯСТЭК
ТР <Тест установки УТК> <UTK>
GR
GK RE0 1. 3.5. 7.9. 11. 13. 15. 17. 19. 21. 23. 25. 27. 29. 31
GK RE1 0. 2.4. 6.8. 10. 12. 14. 16. 18. 20. 22. 24. 26. 28. 30
GK RE2 33. 35. 37, 39. 41.43. 45. 47. 49. 51.53. 55. 57, 59. 61.63
GK RE3 32.
GK RE4 65.
GK RE5 64.
34.36. 38. 40. 42. 44. 46. 48. 50. 52. 54. 56. 58. 60. 62
67.69. 71. 73, 75. 77. 79. 81. 83. 85, 87, 89. 91.93. 95
66.68. 70. 72, 74, 76. 78. 80. 82. 84. 86. 88. 90. 92. 94
125.127
124.126
GK RE6 97.99.101, 103, 105. 107. 109. 111,113. 115. 117, 119. 121.123,
GK RE7 96.98.100, 102. 104. 106. 108, 110. 112. 114. 116. 118. 120.122.
GK RE8 129. 131, 133. 135, 137, 139, 141,143, 145. 147. 149. 151, 153. 155.157. 159
GK RE9 128,130.132.134, 136. 138, 140, 142. 144. 146. 148.150, 152. 154.156.158
GK REA 161.163.165. 167. 169.171, 173. 175. 177. 179. 181.183.185. 187,189.191
GK REB 160.162. 164. 166, 168. 170. 172.174. 176. 178. 180. 182. 184, 186,188, 190
GK REC 193, 195. 197.199. 201. 203. 205. 207. 209. 211. 213. 215, 217. 219. 221. 223
26