checking）的方向发展，毋须再确认同构性（isomorphism）。
电路佈局验证工具.电路佈局验证工具借由识别并读取佈局中代表电子元件的各种图形以及连结，产生网表（netlist），而后将其与类似或原始的设计图/电路图网表加以比较。 验证的过程包含有3个步骤: