Patent ID: 8869103

Claim:
One or more tangible non-transitory computer-readable storage media storing instructions, the instructions comprising: one or more instructions that, when executed by one or more processors, cause the one or more processors to: acquire an annotation of a block, the block being included in a block diagram model, and the annotation including information for use in identifying expected code for the block, the expected code representing a functionality associated with the block; identify the expected code for the block based on the annotation; acquire code that is generated for the block based on the block diagram model; generate a first intermediate representation based on the expected code; determine a first pattern based on the first intermediate representation, the first pattern representing the functionality associated with the block; determine a second pattern based on the code that is generated for the block, the second pattern representing a functionality of the code that is generated for the block; perform a semantic equivalent transform on the first pattern and the second pattern to generate a normalized first pattern and a normalized second pattern; and verify that the code that is generated for the block is equivalent to the expected code based on the normalized first pattern and the normalized second pattern.