Lattice lse vs synplify pro