William L. Bradley, Ranga Vemuri. Transformations for functional verification of synthesized designs. In 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India. pages 243-248, IEEE Computer Society, 1995. [doi]
Abstract is missing.