US Patent Issued to Synopsys on July 14 for "Identifying RTL code that can be a source of verification complexity for downstream equivalence checkers and generating recommendations to improve runtime of equivalence checkers" (American, Indian Inventors)

ALEXANDRIA, Va., July 14 -- United States Patent no. 12,682,143, issued on July 14, was assigned to Synopsys Inc. (Sunnyvale, Calif.).

"Identifying RTL code that can be a source of verification complexity for downstream equivalence checkers and generating recommendations to improve runtime of equivalence checkers" was invented by Himanshu Kathuria (Fremont, Calif.), Makarand Patil (Portland, Ore.), Rohit Kumar Ohlayan (New Delhi), Paras Mal Jain (Mountain View, Calif.), Ila Verma (Rajpura, India), Mohan Mangal (Fremont, Calif.), Jaideep Dutt (Carrollton, Texas), Jaskaran Singh Ajimal (San Jose, Calif.) and Harpreet Singh Anand (Nagar, India).

According to the abstract* released by the U.S. Patent & Trademark Office: "Aspects of the presen...