US Patent Issued to Graf Research on Sept. 23 for "Computer-implemented verification of a hardware design implementation against a natural language description of the hardware design or software code against a natural language description of a software application" (Georgia, Virginia Inventors)

ALEXANDRIA, Va., Sept. 23 -- United States Patent no. 12,423,503, issued on Sept. 23, was assigned to Graf Research Corp. (Blacksburg, Va.).

"Computer-implemented verification of a hardware design implementation against a natural language description of the hardware design or software code against a natural language description of a software application" was invented by Edward Carlisle IV (Atlanta), Jonathan Graf (Blacksburg, Va.), Scott Harper (Blacksburg, Va.) and Steven Frederiksen (Christiansburg, Va.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A computer system obtains and/or assists in creation of a natural language description file corresponding to a design, where the design is a hardware design or...