https://libeldoc.bsuir.by/handle/123456789/46081| Title: | Тестовая система для функциональной верификации дискретных устройств с параллелизмом поведения |
| Authors: | Черемисинова, Л. Д. Черемисинов, Д. И. |
| Keywords: | материалы конференций;тестовые системы;дискретные устройства |
| Issue Date: | 2021 |
| Publisher: | БГУИР |
| Citation: | Черемисинова, Л. Д. Тестовая система для функциональной верификации дискретных устройств с параллелизмом поведения / Л. Д. Черемисинова, Д. И. Черемисинов // Информационные технологии и системы 2021 (ИТС 2021) = Information Teсhnologies and Systems 2021 (ITS 2021) : материалы международной научной конференции, Минск, 24 ноября 2021 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин [и др.]. – Минск, 2021. – С. 55–56. |
| Abstract: | Рассматривается задача, возникающая при моделировании аппаратных реализаций дискретных систем с параллелизмом поведения. Предлагается метод построения тестовой системы для генерации модельных тестов на основе спецификации на проектирование. В основе метода лежит построение TLM моделей описаний на языке параллельных алгоритмов управления. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/46081 |
| Appears in Collections: | ИТС 2021 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Cheremisinova_Testovaya.pdf | 141.56 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.