CKT Circuit Smart Formal Verification Option for ESP-CV

CKT extends the ESP-CV engine into the circuit simulation spectrum. It applies formal verification to the circuit-level designs by directly verifying the functional equivalence of SPICE-level netlist with any other abstraction-level of the design - behavioral, RTL, or gates.