METHOD FOR HARDWARE-SOFTWARE CO-VERIFICATION BY HYBRID SYNCHRONIZATION BASED ON CONTROL

摘要

PURPOSE: by being executed based on mixed synchronization, control is provided for reducing the synchronization of burden integrated hardware software verification method and other simulators are based on executing control by mixed synchronization. ;CONSTITUTION: hardware simulator executes the processor during the execution of step (30). When the hardware simulator, stopping event is sent to processor. The time-stamping messages of checkpoint are sent to processor or are sent to processor without event before processor rollback, stop after hardware simulator, execute the processor for being used for actual execution time. ;The 2013 of copyright KIPO submissions;[Reference numerals] optimism processor (10) execute server; (20) processor model; (21) processor; (22) external memory; (23) controller is executed; (30) hardware simulator; (AA) information exchange; (BB) state queue management; (CC) pci bus; (DD) state event; (EE) it orders; (FF) read/write; (GG) acquisition of event; (HH) clock control