发明名称 Verification of intellectual property core trusted state
摘要 Secure initialization of the state of an electronic circuit. A processor determines the trusted state of one or more architecture state registers of an intellectual property core. The processor clears entries in a memory of the intellectual property core. The processor verifies that state machines, included in execution logic of the intellectual property core, have not generated output.
申请公布号 US9336392(B2) 申请公布日期 2016.05.10
申请号 US201514856627 申请日期 2015.09.17
申请人 International Business Machines Corporation 发明人 Lichtenau Cedric;Padeffke Martin;Pflueger Thomas;Schmidt Hagen
分类号 G06F12/14;G06F21/57;G06F11/30 主分类号 G06F12/14
代理机构 代理人 Gooshaw Isaac J.
主权项 1. A method to securely initialize a state of an electronic circuit, the method comprising: determining, by a processor, of an electronic circuit, trusted state of one or more architecture state registers of an intellectual property core; clearing, by the processor, entries in a memory of the intellectual property core; verifying, by the processor, that state machines, included in execution logic of the intellectual property core, have not generated output by determining whether the trusted state one or more architecture state latches is verified based at least in part on a result generated by a first device of the intellectual property core that is configured to check the state of those architecture state latches, wherein the one or more architecture state latches are vulnerable to state manipulations; and responsive to a determination that the trusted state one or more architecture state latches is not verified, sending, by the first device of the intellectual property core, a signal that indicates that the intellectual property core is not trusted.
地址 Armonk NY US