Automated Test Generation to Verify IP Modified for System Level Power Management Author(s): Christophe Lamard Location: United States Year: 2015 Type: Paper Format: pdf Download