Prabhat Jain Ganesh Gopalakrishnan Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. 304-307 1993 ICCD db/conf/iccd/iccd1993.html#JainG93