US Patent Issued to INTERNATIONAL BUSINESS MACHINES on Sept. 23 for "Co-debug of processing conditions of logic devices" (Indian Inventors)

ALEXANDRIA, Va., Sept. 23 -- United States Patent no. 12,422,476, issued on Sept. 23, was assigned to INTERNATIONAL BUSINESS MACHINES Corp. (Armonk, N.Y.).

"Co-debug of processing conditions of logic devices" was invented by Raj Kumar Gajavelly (Warangal, India), Arun Joseph (Kadugodi, India) and Rajat Rao (Bangalore, India).

According to the abstract* released by the U.S. Patent & Trademark Office: "A multiplexer logic device is automatically identified in a hardware definition language of a design. One or more verification properties of the multiplexer logic device are generated to be used in validation of a selected processing condition of the multiplexer logic device. The one or more verification properties and one or more constraints...