System refinement design flow based on semi-symbolic simulations | IEEE Conference Publication | IEEE Xplore