berkeley-abc/abc

Резюме: Проект berkeley-abc/abc представляет собой системный инструмент для синтеза последовательной логической синтеза и формальной верификации. Он позволяет к