Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Newer
Older
100644 85 lines (60 sloc) 3.095 kb
b9c0b8a Add an extensions.txt file.
steve authored
1
2 Icarus Verilog Extensions
3
4 Icarus Verilog supports certain extensions to the baseline IEEE1364
5 standard. Some of these are picked from extended variants of the
6 language, such as SystemVerilog, and some are expressions of internal
7 behavior of Icarus Verilog, made available as a tool debugging aid.
8
9 * Builtin System Functions
10
11 ** Extended Verilog Data Types
12
13 This feature is turned off if the generation flag "-g" is set to other
14 then the default "2x". For example, "iverilog -g2x" enables extended
15 data types, and "iverilog -g2" disables them.
16
17 Icarus Verilog adds support for extended data types. This extended
18 type syntax is based on a proposal by Cadence Design Systems,
19 originally as an update to the IEEE1364. That original proposal has
20 apparently been absorbed by the IEEE1800 SystemVerilog
21 standard. Icarus Verilog currently only takes the new primitive types
22 from the proposal.
23
be73be8 Spelling patches from Larry.
steve authored
24 Extended data types separates the concept of net/variable from the
b9c0b8a Add an extensions.txt file.
steve authored
25 data type. Both nets and variables can declared with any data
be73be8 Spelling patches from Larry.
steve authored
26 type. The primitive types available are:
b9c0b8a Add an extensions.txt file.
steve authored
27
28 logic - The familiar 0, 1, x and z, optionally with strength.
29 bool - Limited to only 0 and 1
30 real - 64bit real values
31
32 Nets with logic type may have multiple drivers with strength, and the
33 value is resolved the usual way. Only logic values may be driven to
34 logic nets, so bool values driven onto logic nets are implicitly
35 converted to logic.
36
37 Nets with any other type may not have multiple drivers. The compiler
38 should detect the multiple drivers and report an error.
39
40 - Declarations
41
42 The declaration of a net is extended to include the type of the wire,
43 with the syntax:
44
45 wire <type> <wire-assignment-list>... ;
46
47 The <type>, if omitted, is taken to be logic. The "wire" can be any of
48 the net keywords. Wires can be logic, bool, real, or vectors of logic
49 or bool. Some valid examples:
50
51 wire real foo = 1.0;
52 tri logic bus[31:0];
53 wire bool addr[23:0];
54 ... and so on.
55
56 The declarations of variables is similar. The "reg" keyword is used to
57 specify that this is a variable. Variables can have the same data
58 types as nets.
59
60 - Ports
61
d9ac146 @ldoolitt Spelling fixes
ldoolitt authored
62 Module and task ports in standard Verilog are restricted to logic
b9c0b8a Add an extensions.txt file.
steve authored
63 types. This extension removes that restriction, allowing any type to
64 pass through the port consistent with the continuous assignment
65 connectivity that is implied by the type.
66
67 - Expressions
68
69 Expressions in the face of real values is covered by the baseline
70 Verilog standard.
71
72 The bool type supports the same operators as the logic type, with the
293976b Spelling fixes.
steve authored
73 obvious differences imposed by the limited domain.
b9c0b8a Add an extensions.txt file.
steve authored
74
75 Comparison operators (not case compare) return logic if either of
76 their operands is logic. If both are bool or real (including mix of
77 bool and real) then the result is bool. This is because comparison of
78 bools and reals always return exactly true or false.
79
80 Case comparison returns bool. This differs from baseline Verilog,
81 which strictly speaking returns a logic, but only 0 or 1 values.
82
83 All the arithmetic operators return bool if both of their operands are
293976b Spelling fixes.
steve authored
84 bool or real. Otherwise, they return logic.
Something went wrong with that request. Please try again.