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

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

Аннотация:

Предложена методика проверки корректной работы параллельных программ логической оптимизации на базе программного фреймворка, предоставляющего удобный инструментарий для проведения экспериментальных исследований, сравнения эффективности алгоритмов и формальной верификации. Фреймворк интегрирован с системой логической оптимизации функционально-структурных описаний дискретных устройств FLC-2.

Тип: Article