US Patent Issued to Synopsys on Aug. 25 for "Extended regular expression matching in a directed acyclic graph by using assertion simulation" (Israeli Inventor)

ALEXANDRIA, Va., Aug. 25 -- United States Patent no. 12,717,997, issued on Aug. 25, was assigned to Synopsys Inc. (Sunnyvale, Calif.).

"Extended regular expression matching in a directed acyclic graph by using assertion simulation" was invented by Dmitry Korchemny (Kfar Saba, Israel).

According to the abstract* released by the U.S. Patent & Trademark Office: "A directed acyclic graph (DAG) and an extended regular expression (ERE) may be received. A circuit design may be generated based on the DAG. A cover property may be generated based on the ERE. The circuit design may be simulated. A first result may be determined based on whether the cover property is satisfied during the simulating the circuit design. It may be determined whether the...