The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 08, 2025
Filed:
Mar. 30, 2022
Amazon Technologies, Inc., Seattle, WA (US);
Uri Leder, Lotem, IL;
Ori Ariel, Ma'ale Adumim, IL;
Assaf Fainer, Kefar Sava, IL;
Simaan Bahouth, Shefar'am, IL;
Max Chvalevsky, Mevaseret Zion, IL;
Itai Kahana, Lod, IL;
Amazon Technologies, Inc., Seattle, WA (US);
Abstract
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 configure a design under test formatted according to an interface implemented by the design under test can be obtained. A sequence to perform the software-instructed commands may be generated to configure the design under test in a hardware design and verification language. The sequence may then be executed to perform the software-instructed commands to configure the design under test and then perform formal verification on the configured design under test.