EDA
Logical Equivalence Check는 언제 하는걸까?: Synthesis, DFT, P&R, ECO 네 번의 관문
TL;DR * Logical Equivalence Check는 A 설계와 A' 설계의 기능 차이를 비교하는 것이다. * ASIC Design flow 사이에 수십번의 단계가 있다. * LEC는 ASIC 설계 flow에서 여러번 수행된다: * (1) RTL vs Synthesized netlist * (2) RTL vs DFT-inserted netlist * (3) Synthesis vs P&R netlist * (4) 각 ECO 단계 적용 후