Formal Verification of a System-on-Chip Using Computation Slicing.

Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra

Browse the full ITC paper archive.