Microsemi evaluated the Pegasus Verification System and found that it is highly flexible and cloud ready. Using its flexibility and near-linear scalability, they could adapt their DRC runs to the current state of their CPU resources and realize a 6 – 10X speed-up versus their current solution.