EDA Netlist Writer Formal Verification Tools Report

Reports the name of the Formal Verification tool specified in the Settings dialog box (Assignments menu).