CVC: The C to RTL compiler for callback-based verification model | IEEE Conference Publication | IEEE Xplore