korean
RTL to GDS: 2. RTL Lint
TL;DR: * RTL Lint는 RTL 단계에서 Structural error, Coding style violation, Synthesis v.s. Simulation mismatch를 Vectorless로 Static verifcation한다. * Latch, X-prop, CDC 전 단계 이슈, Reuse 규칙 위반 등을 거르는 것이 목표다. * Tape-out 이후의 치명적 버그 비용을 RTL 단계에서 최소화하는 것이 핵심 목적이다. * 업계에서는 Synopsys VC SpyGlass Lint 같은 툴로