7.4 版图与电路等价性检查