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:
Oct. 26, 2021
Filed:
Jul. 03, 2020
Applicant:
Onespin Solutions Gmbh, Munich, DE;
Inventors:
Assignee:
OneSpin Solutions GmbH, Munich, DE;
Attorneys:
Primary Examiner:
Int. Cl.
CPC ...
G06F 30/3323 (2020.01); G06F 119/16 (2020.01);
U.S. Cl.
CPC ...
G06F 30/3323 (2020.01); G06F 2119/16 (2020.01);
Abstract
A method of checking equivalence between a first design comprising a shift register logic SRL chain and a second design comprising a memory block. The method comprises identifying an inductive invariant to replace the SRL chain or the memory block, and replacing the SRL chain and the memory block by a set of constraints, wherein the set of constraints state that the SRL chain and the memory block are equivalent for the checking of equivalence between the first design and the second design.