1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
VHD2VL v2.2 README.txt
Vhd2vl is designed to translate synthesizable VHDL into Verilog 2001.
It does not support the full VHDL grammar - most of the testbench
related features have been left out. See the examples and
translated_examples directories for examples of what vhd2vl can do.
Vhd2vl does a pretty good job of translating, but you should ALWAYS
test the generated Verilog, ideally by using a formal verification
tool to compare it to the original VHDL!
The home page for (at least for this version of) vhd2vl is
http://doolittle.icarus.com/~larry/vhd2vl/
1.0 HOW TO BUILD AND INSTALL vhd2vl:
To build, just type 'make' in the src directory.
This version of vhd2vl has been tested with GNU Bison 2.3, and
GNU Flex version 2.5.35. No problems have been reported with other
fairly recent versions.
To install, copy the resulting src/vhd2vl file to someplace in
your $PATH, like $HOME/bin or /usr/local/bin.
2.0 HOW TO USE vhd2vl:
vhd2vl VHDL_file.vhd > translated_file.v
or
vhd2vl VHDL_file.vhd translated_file.v
The two are equivalent when everything works. The latter has some
advantages when handling errors within a Makefile.
3.0 TROUBLESHOOTING:
If vhd2vl complains about a syntax error, this is usually due to a
VHDL construct that vhd2vl cannot translate. Try commenting out the
offending line, and running vhd2vl again. You can then edit the
Verilog output file and manually translate the offending line of VHDL.
Comments in the middle of statements sometimes confuse vhd2vl. This
is a "feature" of the logic that copies comments from VHDL to Verilog.
If vhd2vl complains about a syntax error caused by a comment, just
move that comment out of the middle of the statement and try again.
The grammar has rules that recognize common ways of writing clocked
processes. Your code might contain clocked processes that do not match
any of the templates in the grammar. This usually causes VHD2VL to
complain about a clock'event expression in a process. If this
happens, a minor rewrite of that process will let you work around the
problem.
If you need to look at the VHDL grammar, make puts a copy of it in
vhd2vl.output. If you need to change the grammar, then running vhd2vl
with the '-d' option will cause vhd2vl to trace how it is parsing the
input file. See the bison documentation for more details.
4.0 MISSING FEATURES AND KNOWN INCORRECT OUTPUT:
String types: awkward, because Verilog strings need predefined length
Attribute: easy to parse, but I'm not sure what Verilog construct
to turn it into. It smells like a parameter, not an (* attribute *).
Multiple actions in one process, as used in DDR logic?
Exit statement incompletely converted to disable statement
(see examples/bigfile.vhd)
Part select expression zz(31+k downto k) should convert to zz[31+k+:32]
(see examples/for.vhd)
variables not handled right, show up as declarations within always blocks
(see examples/for.vhd)
Conversion functions (resize and to_unsigned) are parsed, but their
semantics are ignored: resize(foo,n) and to_unsigned(foo,n) are treated
as equivalent to (foo).
|
