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

**Brief Summary (2‑3 sentences)** This open‑source hardware equivalence‑checking tool works at both RTL and gate levels, automating the comparison of design imp