发明名称 Verification of the integrity of programs or of sequencing in a state machine
摘要 <p>The method involves conditioning a result of a calculation at states of verification bits (Bi) respectively allocated to registers. The calculation result is set at an active state when the corresponding register is accessed during execution of the calculation independent of content of the register. The result is multiplied by a product (B) of the verification bits before the result is provided by an electronic circuit. An independent claim is also included for an electronic circuit comprising a processing unit.</p>
申请公布号 EP1818846(B1) 申请公布日期 2009.10.07
申请号 EP20070102074 申请日期 2007.02.09
申请人 ST MICROELECTRONICS S.A. 发明人 WUIDART, SYLVIE
分类号 G06F21/55 主分类号 G06F21/55
代理机构 代理人
主权项
地址