Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem. Accelerated verification of RTL assertions based on satisfiability solvers. In Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002. pages 107-110, IEEE Computer Society, 2002. [doi]
Abstract is missing.