2.2.122. VERIFYFILE

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

Syntax

VERIFYFILE ,[obj|raw|ascii] [,opts] name [=address/offset]

where:

obj

The file is an ATPE format executable file.

There are no opts supported for this file type.

raw

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

There are no opts supported for this file type.

ascii

The 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 opts are supported for this file type:

byte

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

half

The file is a stream of 16-bit values.

long

The file is a stream of 32-bit values.

gui

You are prompted to enter the file type with a dialog.

name

Specifies the name of the file to be read.

address/offset

Specifies 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.

Description

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.

Examples

The following example shows how to use VERIFYFILE:

verifyfile,ascii,byte "c:\images\rom.dat" =0x8000

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

See also

The following commands provide similar or related functionality:

Copyright © 2003, 2004 ARM Limited. All rights reserved.ARM DUI 0235B
Non-Confidential