| |||
| Home > RealView Debugger Commands > Alphabetical command reference > VERIFYFILE | |||
The VERIFYFILE command compares the contents of a specified file with the contents of target memory.
VERIFYFILE ,[obj|raw|ascii]
[,opts] name [=address/offset]
where:
objThe file is an ATPE format executable file.
There are no supported
for this file type.opts
rawThe file is a stream of 8-bit values that are written to target memory without further interpretation.
There are no supported
for this file type.opts
asciiThe file is a stream of ASCII digits separated by whitespace. The interpretation of the digits is specified by other qualifiers. The starting address of the file must be specified in a bracketed line one of the following ways:
[start]The start address.
[start,end]The start address, a comma, and the end address.
[start,+len]The start address, a comma, and the length.
[start,end,size]The start address, a comma, the end address, a comma,
and a character indicating the size of each value, where b is
8 bits, h is 16 bits and l is
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 was 0x00A0, the size
is set to 16-bits.
The following are
supported for this file type:opts
byteThe file is a stream of 8-bit values that are written to target memory without further interpretation.
halfThe file is a stream of 16-bit values.
longThe file is a stream of 32-bit values.
guiYou are prompted to enter the file type with a dialog.
nameSpecifies the name of the file to be read.
address/offsetSpecifies the starting address in target memory for the comparison. If the file being read contains this information, you can adjust it by specifying an offset.
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 architecture-based processors have byte addressable memory.
The following example shows how to use VERIFYFILE:
verifyfile,ascii,byte
"c:\images\rom.dat" =0x8000Verify
that the ROM image file in rom.dat matches
target memory starting at location 0x8000.