Patent ID: 8370797

Claim:
A data processing apparatus comprising: a host processing apparatus configured: to identify one or more basic blocks of binary or assembly code, the binary or assembly code being for a target processing device; and to generate, with reference to the one or more basic blocks, timed software for cooperative verification of hardware and software of a semiconductor device mounted with the target processing device and an operating system (OS), wherein the timed software identifies locations for time information, wherein the timed software comprises source code in a high-level language, the source code corresponding to the binary or assembly code, wherein the high level language is a C language, and wherein the host processing apparatus is further configured to recognize a branch start/end command in the binary or assembly code, to insert updated time information in a C file, to convert the branch start/end command into the C language, to output the converted branch start/end command to the C file, and to start processing another of the one or more basic blocks.