Open source HW equivalence checking tool at both RTL and gate level

Open‑source‑инструмент для проверки эквивалентности аппаратных описаний на уровнях RTL и гейт‑лейа позволяет автоматизировать рутинные проверки и интегрировать