1srec_vmem(5)                  File Formats Manual                 srec_vmem(5)
2
3
4

NAME

6       srec_vmem - vmem file format
7

DESCRIPTION

9       This  format is the Verilog VMEM format.  This is a hex format suitable
10       for loading into Verilog simulations using the $readmemh call.
11
12       The text file to be read shall contain only the following:
13       White space (spaces, new lines, tabs, and form‐feeds)
14       Comments (both types of C++ comment are allowed)
15       Hexadecimal numbers
16
17       White space and/or comments shall be used to separate the numbers.
18
19       In the following discussion, the term "address" refers to an index into
20       the array that models the memory.
21
22       As  the  file is read, each number encountered is assigned to a succes‐
23       sive word element of the memory.   Addressing  is  controlled  both  by
24       specifying  start and/or finish addresses in the system task invocation
25       and by specifying addresses in the data file.
26
27       When addresses appear in the data file, the format is an "at" character
28       (@) followed by a hexadecimal number as follows:
29              @hh...h
30
31       Both  uppercase  and  lowercase  digits  are allowed in the number.  No
32       white space is allowed between the @ and the number.  As  many  address
33       specifications  as  needed  within the data file can be used.  When the
34       system task encounters an address specification,  it  loads  subsequent
35       data starting at that memory address.
36
37   Commentary
38       There is no checksum in this format, which can generate false positives
39       when guessing file formats on input.
40
41       There is no indication of the word size in the file, since it is depen‐
42       dent  on  the  word  type  of the Verilog memory it is being read into.
43       SRecord will guess the word size based on the number of digits it  sees
44       in the numbers, but this is only a guess.
45
46       SRecord  will also assume that the numbers are to be loaded big‐endian;
47       that is, most significant  byte  (first  byte  seen)  into  the  lowest
48       address covered by the word.
49
50       You can use the -byte‐swap filter to change the byte order; it takes an
51       optional width of bytes to swap within.
52
53   Size Multiplier
54       In general, binary data will expand in sized by approximately 2.9 times
55       (32‐bit), 3.1 times (16‐bit) or 3.6 times (8‐bit) when represented with
56       this format.
57

EXAMPLE

59       Here is an example Verilog VMEM file.  It  contains  the  data  “Hello,
60       World[rq] to be loaded at address 0x1000.
61              @00000400 48656C6C 6F2C2057 6F726C64 0AFFFFFF
62

REFERENCE

64       IEEE  P1364‐2005/D2, Standard for Verilog Hardware Description Language
65       (Draft), section 17.2.8 "Loading memory data from a file", p. 295.
66       Copyright © 2003 IEEE
67       http://www.boyd.com/1364/
68       http://www.boyd.com/1364/1364‐2005‐d2.pdf.gz
69
71       srec_cat version 1.64
72       Copyright (C) 1998, 1999, 2000, 2001, 2002,  2003,  2004,  2005,  2006,
73       2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 Peter Miller
74
75       The srec_cat program comes with ABSOLUTELY NO WARRANTY; for details use
76       the 'srec_cat -VERSion License' command.  This is free software and you
77       are  welcome  to  redistribute it under certain conditions; for details
78       use the 'srec_cat -VERSion License' command.
79

MAINTAINER

81       Scott Finneran   E‐Mail:   scottfinneran@yahoo.com.au
82       Peter Miller     E‐Mail:   pmiller@opensource.org.au
83
84
85
86Reference Manual                    SRecord                       srec_vmem(5)
Impressum