| 发明名称 | Firmware and hardware verification using Opcode comparison | ||
| 摘要 | A verification method is provided and includes randomly choosing a hardware executed instruction in a predefined program to force Opcode Compare on, determining an identity of a corresponding opcode from the chosen instruction and initializing Opcode Compare logic to trap the chosen instruction to firmware and creating firmware to initiate performance of hardware verification in the firmware and re-initiating performance of the hardware verification in hardware. | ||
| 申请公布号 | US9218442(B2) | 申请公布日期 | 2015.12.22 |
| 申请号 | US201012822417 | 申请日期 | 2010.06.24 |
| 申请人 | International Business Machines Corporation | 发明人 | Krygowski Christopher A.;Mullen Michael P.;Slegel Timothy J.;Weber Kai |
| 分类号 | G06F9/30;G06F17/50;G06F11/36 | 主分类号 | G06F9/30 |
| 代理机构 | Cantor Colburn LLP | 代理人 | Cantor Colburn LLP ;McNamara Margaret |
| 主权项 | 1. A computer program product for performing a verification operation, the computer program product comprising a non-transitory tangible storage medium readable by a processing circuit and storing instructions for execution by the processing circuit for performing a method comprising: randomly choosing a hardware executed instruction in a predefined program to force Opcode Compare on; determining an identity of a corresponding opcode from the chosen instruction and initializing Opcode Compare logic to trap the chosen instruction to firmware; and creating firmware to initiate performance of hardware verification in the firmware and re-initiating performance of the hardware verification in hardware. | ||
| 地址 | Armonk NY US | ||