Compares the contents of a specified file with the contents of target memory.


VERIFYFILE ,obj filename [[=]address]

VERIFYFILE ,{raw|raw8|raw16|raw32|ascii[,opts]} filename [=]address

VERIFYFILE ,ascii[,opts] filename [[=]address]



The file is an executable file in the standard target format. For ARM targets, this is ARM-ELF.


Compare as raw data, using the most efficient access size for the target.


Compare as raw data, one byte for each byte of memory.


Compare as raw data, 16 bits for each 16 bits of memory.


Compare as raw data, 32 bits for each 32 bits of memory.


You must specify an address with all raw qualifiers.


The file is a stream of ASCII digits separated by whitespace. The interpretation of the digits is specified by other qualifiers (see the opts qualifier). The starting address of the file must be specified in a one line header in one of the following ways:


The start address.


The start address, a comma, and the end address.


The start address, a comma, and the length.


The start address, a comma, the end address, a comma, and the size of each value (8, 16, and 32 bits).

If the size of the items in the file is not specified, the debugger determines the size by examining the number of white-space separated significant digits in the first data value. For example, if the first data value is 00A0, the size is set to 16-bits.


Optional qualifiers available for use with the ascii qualifier:


The file is a stream of 8-bit values that are written to target memory without extra interpretation.

half_word | word

The file is a stream of 16-bit values.


The file is a stream of 32-bit values.


Specifies the name of the file to be read.

You can include one or more environment variables in the filename. For example, if MYPATH defines the location C:\Myimages, you can specify:

verifyfile,raw "$MYPATH\\myimage.axf" 0x8000..0x8100

Specifies the starting address in target memory for the comparison.


For targets that support the TrustZone technology, you can prefix the address with S: or N: to indicate Secure World or Normal World addresses.


The VERIFYFILE command compares the contents of a specified file with the contents of target memory.

Data might be stored in a file in a variety of formats. You can specify the format by specifying the file type. The command then converts the data read from the file before performing the comparison.

The types of file and file formats supported depend on the target processor and any loaded DLLs. The type of memory assumed depends on the target processor. For example, ARM processors have byte addressable memory.


The following example shows how to use VERIFYFILE:

verifyfile,raw8 'c:\images\rom.dat' =0x8000

Verify that the ROM image file in rom.dat matches target memory starting at location 0x8000.

See also

Copyright © 2002-2011 ARM. All rights reserved.ARM DUI 0175N