Patent Document ID: 8229727
Application ID: 11621335
Patent Flag: 1

Claim One:
1. A method comprising: loading a device model into an emulation system, the device model used to emulate design logic of a device; loading an attached memory model into the emulation system, wherein the attached memory model is not part of the device model and not used to emulate any portion of the design logic; loading an exerciser application into memory associated with the device model; emulating the device using the device model by clocking the device model, the emulating resulting in execution of the exerciser application on the device model; stopping the clocking of the device model in response to determining that the device model is at a lighthouse position, wherein the lighthouse position is at a point that corresponds to a plurality of explorable execution paths in the device model; providing external stimuli data to the device model in response to determining that the device model is at the lighthouse position, wherein the external stimuli data is data that simulates user interaction with an operating system command line interface, the external stimuli data utilized by the device model to select a path from the lighthouse position; re-clocking the device model and the attached memory model, which results in the exerciser application processing the external stimuli data; gathering emulation data from the device model that the device model generated in response to the exerciser application processing the external stimuli data; indicating an emulation test pass result in response to determining that the emulation data is correct based upon the external stimuli data; and indicating an emulation test fail result in response to determining that the emulation data is incorrect based upon the external stimuli data.