Automated Test Generation to Verify IP Modified for System Level Power Management Author(s): Christophe Lamard and Frederic Dupuis Download
