Low-Power Verification Methodology using UPF Query functions and Bind checkers Author(s): Madhur Bhargava and Durgesh Prasad Location: Europe Year: 2014 Type: Paper Format: pdf Download
