Signal domain based reachability analysis in RTL circuits | IEEE Conference Publication | IEEE Xplore