synth_opt_adders
synth_opt_adders copied to clipboard
Add linting, simulation, and equivalence checking
Need to:
- [ ] Use Verilator to lint HDL
- [ ] Use Verilator to simulate
- [ ] Perform language equivalence checking
- [ ] Perform logic equivalence checking