CVC: The C to RTL compiler for callback-based verification model.

Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki

Browse the full FPL paper archive.