US Patent Issued to Synopsys on Feb. 10 for "Control of low-power checkers using assertion control techniques of assertions language" (American, Indian Inventors)

ALEXANDRIA, Va., Feb. 11 -- United States Patent no. 12,547,814, issued on Feb. 10, was assigned to Synopsys Inc. (Sunnyvale, Calif.).

"Control of low-power checkers using assertion control techniques of assertions language" was invented by Subhrajyoti Chakraborty (Bengaluru, India), Harsh Chilwal (San Jose, Calif.), Debraj Dutta (Sunnyvale, Calif.) and Vishal Rathi (Sunnyvale, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A computer-implemented method for validation of a low-power design for an electronic circuit. The method includes accessing, by a processing device, the low-power design of the electronic circuit including one or more low-power elements. The method further includes selecting, from ...