На отраслевой конференции Микроэлектроника 2024 был представлен доклад о проблемах и методах реализации LEC (logic equivalence check) — инструментов проверки логический эквивалетности.
Данный инструмент необходим для валидации работы синтезаторов. Был создан минимально жизнеспособный продукт (MVP) по LEC с кодовым названием babyLEC.
Добавить комментарий