Show HN: Penguin-rtl – Verilog equivalence checking locally in the browserpenguin-rtl.arjunv.net·2 pts·avnd·0