REUSABLE UPF: Transitioning from RTL to Gate Level Verification

Author(s):
Durgesh Prasad, Jitesh Bansal, and Madhur Bhargava
Format:
pdf