Netlist Debug/Report

• Non-equivalent points debug automation by AI Agent
• Non-equivalence debug on counterexample on Schematic
• Natural Language Debugging in GOF Shell
• Hierarchical Debug In Non-Equivalence Checking
• Set/reset race condition fix by ECO
• Retiming and LEC
• Find equal nets in Implementation Netlist For Reference RTL wire
• Net names collision in Verilog to Spice conversion
• Clock tree fast trace
• Debug non-equivalent points
• Design Statistic
• Graphic mode vs Text mode
• Calculate clock gating percentage
• Debug Connectivity (PDF)
• Flexible Schematic generator
• Script Mode Modify State Machine and Debug
• Layout Placement Regions View
• Circuit Placement View on Layout