US Patent Issued to Amazon Technologies on April 8 for "Executing instruction sequences generated from software interactions as part of formal verification of a design under test" (Israeli Inventors)

ALEXANDRIA, Va., April 9 -- United States Patent no. 12,271,669, issued on April 8, was assigned to Amazon Technologies Inc. (Seattle).

"Executing instruction sequences generated from software interactions as part of formal verification of a design under test" was invented by Uri Leder (Lotem, Israel), Ori Ariel (Ma'ale Adumim, Israel), Assaf Fainer (Kefar Sava, Israel), Simaan Bahouth (Shefar'am, Israel), Max Chvalevsky (Mevaseret Zion, Israel) and Itai Kahana (Lod, Israel).

According to the abstract* released by the U.S. Patent & Trademark Office: "Generated instruction sequences captured from software interactions may be executed as part of formal verification of a design under test. Software-instructed commands to be performed to conf...