Nandigits 電子設計自動化工具>NanDigits Gates On the Fly debug & ECO (functional) • GOF– Automatic functional netlist ECO– > 5x speed up + > 2x memory saving since 2016– Boundary optimized netlist and more• GVT– Incremental schematic and netlist debug• GLE (in 2022)– RTL to netlist formal logic equivalence checker