Synopsys synplify pro failed to evaluate generic