Tag: EBMC

Comparing Two Verilog CPU Implementations using EBMC

About a year ago my friends and I built a 4bit cpu

Klenance Klenance