验证方法：Exhaustive static verification of key point pairs using mathematical algorithms 一种静态比较，会遍历所有的组合保证逻辑等价性，不需要动态激励