Prabhat Jain Ganesh Gopalakrishnan Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. 1005-1015 1994 13 IEEE Trans. on CAD of Integrated Circuits and Systems 8 http://doi.ieeecomputersociety.org/10.1109/43.298036 db/journals/tcad/tcad13.html#JainG94