REUSABLE UPF: Transitioning from RTL to Gate Level Verification Author(s): Durgesh Prasad, Jitesh Bansal, and Madhur Bhargava Format: pdf Download