US Patent Issued to Cadence Design Systems on Oct. 7 for "System and method for formal verification of a multi-cycle path circuit" (Israeli Inventors)

ALEXANDRIA, Va., Oct. 8 -- United States Patent no. 12,437,141, issued on Oct. 7, was assigned to Cadence Design Systems Inc. (San Jose, Calif.).

"System and method for formal verification of a multi-cycle path circuit" was invented by Doron Bustan (Zichron Yaakov, Israel) and Karam Abdelkader (Haifa, Israel).

According to the abstract* released by the U.S. Patent & Trademark Office: "Method includes, for a point in MCP circuit, performing backward traversal of the circuit along the COI of that point, to sequential elements directly driving that point; constructing a counter circuit for all sequential elements driving that point, and combining the constructed counter circuits to a combined logical circuit of all of the counters in the COI...