Hierarchical constraint solving in the parametric form with applications to efficient symbolic simulation based verification | IEEE Conference Publication | IEEE Xplore