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

"Hardware security checks in static verification of integrated circuit designs" was invented by Sudeep Mondal (Uttar Pradesh, India), Barsneya Chakrabarti (Uttar Pradesh, India), Ankit Arora (Uttar Pradesh, India) and Paras Mal Jain (San Jose, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A method includes: receiving an integrated circuit design; classifying, by the processing device, a signal path of a sub-circuit of the integrated circuit design based on a connection between an input port of the signal path and a component of the sub-circuit to generate a classifica...