NanDigits is an EDA company that offers tools to semiconductor design firms. The company's focus is on developing Functional Netlist ECO technology and functional safety fault formal verification. The GOF platform includes four functional components: GOF ECO, GOF Formal, GOF LEC, and GOF Debug. GOF ECO is a functional ECO tool that employs a unique optimization technology to accelerate chip time-to-market and prevent multiple iterations. The company has successfully completed functional netlist ECO for more than 100 tapeouts since its first product launch in 2008. NanDigits' customers include Applied Micro, Telechips, Kionix Inc, Echelon Corporation, Alcatel, Toshiba US, and others. GOF Formal is a fault verification tool that uses formal methods for fault injection verification. It can efficiently calculate Single Point Fault Metric (SPFM) and Latent Fault Metric (LFM). GOF LEC is a logic equivalence checking tool that provides an easy way to check if two designs are equivalent. It supports Verilog RTL and Verilog Netlist. GOF Debug is a netlist debug tool with many netlist debug features in both GUI and script mode. The incremental schematic can be used to debug complicated connections in the netlist.
