Functional verification for SystemC descriptions using constraint solving | IEEE Conference Publication | IEEE Xplore