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:
Dec. 03, 2013
Filed:
May. 15, 2012
Debapriya Chatterjee, Kolkata, IN;
Anatoly Koyfman, Kiriat Yam, IL;
Ronny Morad, Kiriat Ata, IL;
Avi Ziv, Haifa, IL;
Debapriya Chatterjee, Kolkata, IN;
Anatoly Koyfman, Kiriat Yam, IL;
Ronny Morad, Kiriat Ata, IL;
Avi Ziv, Haifa, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
Method, apparatus and product for performing instruction-by-instruction checking on an acceleration platform. The method comprising: simulating by a hardware accelerator an execution of a testcase on a circuit design enhanced by a tracer module, wherein during the simulation the tracer module is configured to collect and record information regarding instruction which are completed by the circuit design and regarding register value modifications; and off-loading the recorded information from the hardware accelerator to a computerized apparatus, whereby based on the off-loaded recorded information, the computerized apparatus can perform an instruction-by-instruction checking that each recorded register modification is justified by an instruction which is was completed prior to the register modification.