Show HN: Penguin-rtl – Verilog equivalence checking locally in the browser
https://penguin-rtl.arjunv.net/
Hi HN! I made this little web app for formal equivalence checking of Verilog that runs totally locally in the browser.I initially wrote it for myself to (confidently) rewrite clumps of combinational logic. The idea is that the same logic can be implemented in many ways, but not all will map optimally to FPGA resources.This is also something I wish I had during my digital design class, so I'd be...