ALEXANDRIA, Va., Jan. 13 -- United States Patent no. 12,524,596, issued on Jan. 13, was assigned to Siemens Industry Software Inc. (Plano, Texas).

"Clock domain crossing verification with setup assistance" was invented by Kurt Takara (Fremont, Calif.), Sulabh Kumar Khare (Noida, India), Kaushal Viral Shah (Khamgaon, India) and Debraj Ganguly (Kadamtala, India).

According to the abstract* released by the U.S. Patent & Trademark Office: "A computing system can perform static verification operations on a circuit design with a first set of design constraints characterizing portions of an electronic device described by the circuit design and identify one or more violations associated with clock domain crossings in the circuit design. The compu...