Zurab Khasidashvili, John Moondanos, Ziyad Hanna. TRANS: efficient sequential verification of loop-free circuits. In Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002. pages 115-120, IEEE Computer Society, 2002. [doi]
Abstract is missing.