Method for Hardware-software Coverification by Optimistic Execution of Real Processor

摘要

PURPOSE: A hardware and software integration checking method is provided to synchronize a target processor with other simulator in order to check rapidly a software embedded in a system. CONSTITUTION: The method comprises steps of an execution controller setting a breakpoint at a check point address(Ackpt)(41), the controller executing a processor till the breakpoint(42), the controller storing a value of a clock counter if the check point address(Ackpt) is reached(43), the controller storing a current value of an interrupt subroutine start address(Aisrt) and replacing Aisrt with other interrupt subroutine address(Ass)(44), the controller setting a breakpoint at Aisrt(="Ass)(45), the controller executing the processor while supplying an interrupt for the processor(46), the controller stopping the processor at Ass(47), the controller stopping the supply of the interrupt(48), the controller calculating a return address(Aisrr) if the interrupt subroutine is completed, and setting the breakpoint at Aisrr(49), the controller storing the internal state of the processor at a specific part of an external memory(50), and the controller transmitting the state of the external memory and the internal state of the processor to an optimistic execution server(53).