Low-Power Verification Methodology using UPF Query functions and Bind checkers Author(s): Madhur Bhargava and Durgesh Prasad Download
