Дата публикации: 2021

Дата публикации в реестре: 2024-03-01T13:34:55Z

Аннотация:

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

Тип: Статья