C-to-Verilog translation validation.

Alan Leung, Dimitar Bounov, Sorin Lerner

Browse the full MEMOCODE paper archive.