Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki. CVC: The C to RTL compiler for callback-based verification model. In FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008. pages 499-502, IEEE, 2008. [doi]
Abstract is missing.