Transformations for functional verification of synthesized designs. - William L. Bradley; Ranga Vemuri (VLSI Design, 1995)