Microsemi Benefits by Using Pegasus Verification System on Advanced-Node Designs