Yasuhiro Ito Yutaka Sugawara Mary Inaba Kei Hiraki CVC: The C to RTL compiler for callback-based verification model. 499-502 2008 FPL http://dx.doi.org/10.1109/FPL.2008.4629993 conf/fpl/2008 db/conf/fpl/fpl2008.html#ItoSIH08