電子設計自動化工具>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