| Верификация цифровых устройств с параллелизмом поведения |
|
 |
|
|
| Авторы |
| | Черемисинов Д.И. |
| | Черемисинова Л.Д. |
| Год публикации |
| | 2020 |
| DOI |
| | 10.31114/2078-7707-2020-3-9-15 |
| УДК |
| | 681.32 |
|
| Аннотация |
| | Рассматривается задача проверки функциональной корректности реализации системы управления с параллелизмом поведения относительно спецификации на ее проектирование. Предлагается методология построения тестовой системы, позволяющей генерировать тестовую последовательность в процессе моделирования спецификации, представленной на языке параллельных алгоритмов управления. Для описания алгоритмов управления предлагается использовать язык ПРАЛУ, который позволяет задавать временную упорядоченность событий, возникающих при работе не только самого устройства управления, но и системы в целом, включая его внешнее окружение. |
| Ключевые слова |
| | параллельный алгоритм, верификация, моделирование, язык ПРАЛУ. |
| Ссылка на статью |
| | Черемисинов Д.И., Черемисинова Л.Д. Верификация цифровых устройств с параллелизмом поведения // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. Выпуск 3. С. 9-15. doi:10.31114/2078-7707-2020-3-9-15 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2020/pdf/D089.pdf |
