Please use this identifier to cite or link to this item:
https://libeldoc.bsuir.by/handle/123456789/49305
| Title: | Формальная верификация результатов выполнения параллельных программ логической оптимизации |
| Authors: | Логинова, И. П. |
| Keywords: | материалы конференций;базы данных;программирование;дискретные устройства;САПР;СБИС |
| Issue Date: | 2022 |
| Publisher: | БГУИР |
| Citation: | Логинова, И. П. Формальная верификация результатов выполнения параллельных программ логической оптимизации / И. П. Логвинова // Информационные технологии и системы 2022 (ИТС 2022) = Information Technologies and Systems 2022 (ITS 2022) : материалы Международной научной конференции, Минск, 23 ноября 2022 / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин [и др.]. – Минск : БГУИР, 2022. – С. 85–86.. |
| Abstract: | Предложена методика проверки корректной работы параллельных программ логической оптимизации на базе программного фреймворка, предоставляющего удобный инструментарий для проведения экспериментальных исследований, сравнения эффективности алгоритмов и формальной верификации. Фреймворк интегрирован с системой логической оптимизации функционально-структурных описаний дискретных устройств FLC-2. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/49305 |
| Appears in Collections: | ИТС 2022
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
