Chao Wang, Gary D. Hachtel, Fabio Somenzi. Fine-Grain Abstraction and Sequential Don t Cares for Large Scale Model Checking. In 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 11-13 October 2004, San Jose, CA, USA, Proceedings. pages 112-118, IEEE Computer Society, 2004. [doi]
Abstract is missing.