Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra. Formal Verification of a System-on-Chip Using Computation Slicing. In Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA. pages 810-819, IEEE, 2004. [doi]
Abstract is missing.