We can formally verify the Verilog or equivalent too.