ALEXANDRIA, Va., Sept. 23 -- United States Patent no. 12,423,491, issued on Sept. 23, was assigned to Synopsys Inc. (Sunnyvale, Calif.).

"Identifying association of safety related ports to their safety mechanisms through structural analysis" was invented by Shivakumar Chonnad (San Jose, Calif.), Abhishek Chauhan (Delhi, India), Chandan Kumar (Uttar Pradesh, India) and Gourav Goyal (Delhi, India).

According to the abstract* released by the U.S. Patent & Trademark Office: "A method of verifying safety in a circuit design, includes, in part, receiving data representative of the circuit design, identifying a first safety mechanism within the circuit design where the safety mechanism is represented by a first module and has an output port defi...