Patents by Inventor Hani Assaf

Hani Assaf has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Extending cover properties in formal verification to generate failure traces that reach end-of-test
    Patent number: 12361195
    Abstract: 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 identified. An additional condition may be implemented for the identified cover property to extend the identified cover property to cause performance of the formal verification task to generate a trace to reach an effective end-of-test stage for the design under test in the event of a failure of the cover property.
    Type: Grant
    Filed: December 10, 2021
    Date of Patent: July 15, 2025
    Assignee: Amazon Technologies, Inc.
    Inventors: Hani Assaf, Max Chvalevsky, Uri Leder, Yefim Fainstein