power_sec

This goal performs sequential equivalance checking on designs before and after power optimization. The goal runs in DDR (Dual Design Read) mode and reads in 2 designs. The first design is the modified RTL created by autofix ( or user) based on power reduction recommendations. The second design is the original RTL.