US Patent Issued to Synopsys on Sept. 1 for "Automatic waiver generation for filtering violations reported by static analysis" (Sri Lankan, American, Indian Inventors)

ALEXANDRIA, Va., Sept. 1 -- United States Patent no. 12,724,950, issued on Sept. 1, was assigned to Synopsys Inc. (Sunnyvale, Calif.).

"Automatic waiver generation for filtering violations reported by static analysis" was invented by Madusanka Padukka Vidanelage Thanuja (Colombo, Sri Lanka), Zamrath Mohamed Nizam Mohamed (Galle, Sri Lanka), Himanshu Kathuria (Fremont, Calif.), Mohan Mangal (Fremont, Calif.) and Rohit Kumar Ohlayan (New Delhi).

According to the abstract* released by the U.S. Patent & Trademark Office: "A design database contains register transfer level (RTL) code for a design, and a violations database contains violations generated by a static analysis of the RTL code. The violations are tagged to code snippets of the RTL ...