k-time Forced Simulation: A Formal Verification Technique for IP Reuse.

Partha S. Roop, Arcot Sowmya, S. Ramesh

Browse the full ICCD paper archive.