asic fpga eda formal-verification semiconductor sec asic-verification verfication lec asic-design chip-design equivalence-checking slec