Behavioral consistency of C and verilog programs using bounded model checking.

Edmund M. Clarke, Daniel Kroening, Karen Yorav

Browse the full DAC paper archive.