US Patent Issued to Synopsys on Nov. 18 for "Solving multiple array problems interacting with each other in constraint solving for functional verification of logic designs" (California, Oregon Inventors)

ALEXANDRIA, Va., Nov. 18 -- United States Patent no. 12,475,285, issued on Nov. 18, was assigned to Synopsys Inc. (Sunnyvale, Calif.).

"Solving multiple array problems interacting with each other in constraint solving for functional verification of logic designs" was invented by In-Ho Moon (Portland, Ore.) and Qiang Qiang (Santa Clara, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "In some aspects, a logic design undergoes functional verification, which includes generating a test stimulus to apply to the logic design. The test stimulus includes test values for variables representing signals in the logic design. Generating the test stimulus involves a first problem of solving for the test values of the...