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. 26, 2023
Filed:
Sep. 13, 2021
International Business Machines Corporation, Armonk, NY (US);
Gregory A. Kemp, Austin, TX (US);
Bryant Cockcroft, Austin, TX (US);
Debapriya Chatterjee, Austin, NY (US);
Bradley Donald Bingham, Austin, TX (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method, computer program product, and/or system is disclosed for identifying special cases for testing an integrated circuit that includes defining interesting cases, preferably by a user; obtaining an instruction from an instruction set architecture (ISA); determining that there is an interesting case for the obtained instruction; computing (i) a size of the input space (I) of the ISA, and (ii) an interesting case space (I) which is an input space leading to the interesting case for the obtained instruction; obtaining a special case fraction by dividing the interesting case space (I) by the input space (I); determining a special case fraction (I)/(I) is less than a threshold; and identifying, in response to the special case fraction being less than the threshold, the interesting case as a special case. In an approach the special case is documented.