Proof-Aided Design of Verified Hardware.

Holger Busch, Gerd Venzl

Browse the full DAC paper archive.