ALEXANDRIA, Va., July 30 -- United States Patent no. 12,373,625, issued on July 29, was assigned to ANSYS INC. (Canonsburg, Pa.).

"Timing domain based modeling of switching probability and signal correlation" was invented by Qian Shen (Southborough, Mass.) and Joao Geada (Chelmsford, Mass.).

According to the abstract* released by the U.S. Patent & Trademark Office: "According to one aspect of this disclosure, time domain information can be associated with switching probabilities and propagated through a simulated circuit during a static timing analysis to provide finer grain details for use by a power analysis of the simulated circuit (such as a dynamic voltage drop analysis or simulation). Signal correlations may also be propagated with ...