US Patent Issued to Amazon Technologies on July 15 for "Extending cover properties in formal verification to generate failure traces that reach end-of-test" (Israeli Inventors)

ALEXANDRIA, Va., July 16 -- United States Patent no. 12,361,195, issued on July 15, was assigned to Amazon Technologies Inc. (Seattle).

"Extending cover properties in formal verification to generate failure traces that reach end-of-test" was invented by Hani Assaf (Haifa, Israel), Max Chvalevsky (Mevaseret Zion, Israel), Uri Leder (Lotem, Israel) and Yefim Fainstein (Petah Tikva, Israel).

According to the abstract* released by the U.S. Patent & Trademark Office: "Cover properties are extended in formal verification to reach an effective end-of-test stage for a design under test. A formal verification task for a design under test may be received at a verification system. A cover property asserted in the formal verification task may be iden...