Paper accepted at DAC’24

We are proud that our paper about formally verifying arithmetic Chisel designs for all bit widths at once, has been accepted at DAC’24.