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