CRAVE: An advanced constrained random verification environment for SystemC | IEEE Conference Publication | IEEE Xplore