Diferență între revizuiri ale paginii „Verilog EN”

De la WikiLabs
Jump to navigationJump to search
 
(Nu s-au afișat 32 de versiuni intermediare efectuate de același utilizator)
Linia 1: Linia 1:
 
== Modules (synthesizable) ==
 
== Modules (synthesizable) ==
  
The Verilog language is structured on modules. Each module represents a circuit that implements a certain function. For example, a module may be a summation, ie a circuit that has two entries specifying the two operands and an output representing the result of the assembly. The content of the module is the (structural or behavioral) description of the gates that computes the sum of the two entries. Therefore, the definition of a Verilog module has two parts:
+
The Verilog language is structured on modules. Each module represents a circuit that implements a certain function. For example, a module may be a summation, ie a circuit that has two entries specifying the two operands and an output representing the result of the assembly. The content of the module is the (structural or behavioral) description of the gates that calculate the sum of the two entries. Therefore, the definition of a Verilog module has two parts:
 
* interface - the list of all the input and output ports of the circuit, specified by name and size;
 
* interface - the list of all the input and output ports of the circuit, specified by name and size;
 
* implementation - actual circuit description using input values ​​to calculate output values;
 
* implementation - actual circuit description using input values ​​to calculate output values;
  
 
=== Verilog Module Interface ===
 
=== Verilog Module Interface ===
The '' Adder '' module interface is shown below. '''''' Note: '''''' As in the decimal system, where the sum of two numbers' 'n''' digits needs' n '=18), and in the binary system, the sum of two '' n '''bits will be on' 'n + 1''' bits.
+
The '' Adder '' module interface is shown below.  
 +
''''' Note: ''''' As in the decimal system, where the sum of two numbers '''n''' digits needs '''n+1''' digits ( 9 + 9 = 18), in the binary system, the sum of two ''' n ''' bits will be on '''n + 1''' bits.
 
[[File: Adder_interface.svg | thumb | Representation of the Adder module (black box)]]
 
[[File: Adder_interface.svg | thumb | Representation of the Adder module (black box)]]
 
<syntaxhighlight lang="verilog">
 
<syntaxhighlight lang="verilog">
Linia 13: Linia 14:
 
     input [3: 0] in0,
 
     input [3: 0] in0,
 
     input [3: 0] in1
 
     input [3: 0] in1
)
+
);
  
 
//implementation
 
//implementation
Linia 19: Linia 20:
 
endmodule
 
endmodule
 
</syntaxhighlight>
 
</syntaxhighlight>
 
+
The keywords '''''module''''' and '''''endmodule''''' are used to start and end defining a module. Immediately after the keyword '''''module''''' follows the module name.
The keywords''''' modules''''' 'and''''' endmodule '''' 'are used to start and end defining a module. Immediately after the keyword '''' 'module''''' follows the module name.
 
  
 
<div class="convention">
 
<div class="convention">
<font color="#0000AA"> '''' 'Convention:''''' </font> The name of a module will begin with a large letter.
+
<font color="#0000AA"> '''''Convention:''''' </font> The name of a module will begin with a large letter.
 
</div>
 
</div>
  
After defining the module name, the list of ports, placed between '''round brackets' 'and separated by''' comma '' follows. Accepted keywords are '''' 'output''''' (representing an output port), '''' 'input''''' (representing an input port) and '''' 'inout' ''''(representing a bidirectional port).
+
After defining the module name, the list of ports, placed between '''round brackets''' and separated by '''comma''' follows. Accepted keywords are '''''output''''' (representing an output port), '''''input''''' (representing an input port) and '''' 'inout' ''''(representing a bidirectional port).
  
 
<div class="tips">
 
<div class="tips">
<font color="#00AA00"> '''' 'Tip:''''' </font> ''. They introduce [http://en.wikipedia.org/wiki/Tri-state_buffer#Tri-state_Buffer Tri-state Buffer] elements that are ineffective. A more efficient alternative is to define two ports, one input and one output, with similar names (ex: '' data_in '' and '' data_out '').
+
<font color="#00AA00"> '''''Tip:''''' </font>''' Introduction of [http://en.wikipedia.org/wiki/Tri-state_buffer#Tri-state_Buffer Tri-state Buffer] elements is ineffective. A more efficient alternative is to define two ports, one input and one output, with similar names (ex: '' data_in '' and '' data_out '').
 
</div>
 
</div>
  
 
<div class="convention">
 
<div class="convention">
<font color="#0000AA"> '''' 'Convention:''''' </font> First the outputs, then the inputs of a module are defined.
+
<font color="#0000AA"> '''''Convention:''''' </font> First the outputs, then the inputs of a module are defined.
 
</div>
 
</div>
  
 
<div class="convention">
 
<div class="convention">
<font color="#0000AA"> '''' 'Convention:''''' </font> '''' module '''' '.
+
<font color="#0000AA"> '''''Convention:''''' </font> '''''module'''''.
 
</div>
 
</div>
  
According to the port type, it follows its size, specified in the bit indexes, where the least significant bit has the index 0. For example, a 4 bit signal will have the following specification: '''[3: 0]''' significantly has index 3, least significant 0, total 4 bits). '''' 'Note:''''' One-bit signals lack the size specification:
+
According to the port type, it follows its size, specified in the bit indexes, where the least significant bit has the index 0. For example, a 4 bit signal will have the following specification: '''[3: 0]''' significantly has index 3, least significant 0, total 4 bits). '''''Note:''''' One-bit signals lack the size specification:
  
 
<syntaxhighlight lang="verilog">
 
<syntaxhighlight lang="verilog">
Linia 47: Linia 47:
  
 
After the list of ports in brackets, the interface definition ends with the ''';''' character.
 
After the list of ports in brackets, the interface definition ends with the ''';''' character.
 +
 +
#'''''Remark:''''' There are non-synthesizable modules (which do not have logical gaps), which are used as test programs in simulation environments and are called test modules. These modules have no input and output ports and are used only to give the input port values ​​of the module to be tested, and to check the values ​​on the output ports of the module. For these modules, the list of ports and their associated parentheses are missing:
 +
 +
<syntaxhighlight lang="verilog">
 +
Module TestModule;
 +
 +
//implementation
 +
 +
endmodule
 +
</syntaxhighlight>
  
 
=== Implementing Verilog Modules ===
 
=== Implementing Verilog Modules ===
Linia 61: Linia 71:
 
* blocks '''initial'''
 
* blocks '''initial'''
  
''''' Remark: ''''' Not any block '''assign''' or '''always''' is synthesizable. There are syntactic constructs that do not have a correspondent in the circuit. These blocks can be simulated but can not be used to program an [[FPGA]] board.
+
''''' Remark: ''''' Not all '''assign''' or '''always''' blocks are synthesizable. There are syntactic constructs that do not have a correspondent in the circuit. These blocks can be simulated but can not be used to program an [[FPGA]]
  
 
'''''Note:''''' The order of blocks in a module does not matter.
 
'''''Note:''''' The order of blocks in a module does not matter.
  
==== Wires (wire) and registers (reg) ====
+
==== Fire (wire) and registers (reg) ====
  
The threads are used for linking modules and for assigning partial results in combinational circuits, therefore:
+
The threads are used for linking modules and for assigning partial results to combinational circuits, therefore:
  
 
<div class="rule">
 
<div class="rule">
<font color="red"> '''''' Rule: '''' '</font> '' or '' as the output of a module (never both simultaneously).
+
<font color="red"> ''''' Rule: '''''</font> '' or '' as the output of a module (never both simultaneously).
 
</div>
 
</div>
  
Linia 76: Linia 86:
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
  
wire [3: 0] wire;
+
wire [3: 0] bunch_of_wires;
  
 
</syntaxhighlight>
 
</syntaxhighlight>
  
Registers are commonly used to implement sequential stumps, and then they define physical registers, but:
+
Registers are commonly used to implement sequential circuits, and in those circuits they are physical registers, but:
  
'''''' Remark: '''''''''''''' does not necessarily translate into a physical register. Translating it depends on how it is used.
+
''''' Remark:''''' A '''reg''' element does not necessarily translate into a physical register. Translating it depends on how it is used.
  
 
A register is defined as follows:
 
A register is defined as follows:
Linia 92: Linia 102:
  
 
<div class="rule">
 
<div class="rule">
<font color="red"> '''''' Rule: '''' '</font> or '''initial'''.
+
<font color="red"> '''''Rule:''''' </font> or '''initial'''.
 
</div>
 
</div>
  
 
<div class="rule">
 
<div class="rule">
<font color="red"> '''' 'Rule:''''' </font> No element can change its value in more than one block. That is, for a wire ('' wire ''), there can not be two blocks '''assign''' in which it takes values, and for '' reg '''there is only a block' 'always''' or '''initial''' in which it changes its value.
+
<font color="red"> '''''Rule:''''' </font> No element can change its value in more than one block. That is, for a wire (''' wire '''), there can not be two '''assign''' blocks in which it changes the value, and for ''' reg ''' there is only one block of '''always''' or '''initial''' in which it changes its value.
 
</div>
 
</div>
  
'''' 'Note:''''' An entry of a module is always' wire ''. That's the statement
+
'''''Note:''''' An input of a module is always a '''wire'''. Therefore the statement
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
  
Linia 115: Linia 125:
  
  
'''' 'Remark:''''' 'An output of a module may be' wire '' or '''reg'''. If not specified, it is a '''wire' 'type. That's the statement
+
'''''Remark:''''' An output of a module may be a ''' wire ''' or '''reg'''. If not specified, it is a '''wire''' type. Therefore the statement
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
  
Linia 130: Linia 140:
 
</syntaxhighlight>
 
</syntaxhighlight>
  
==== Blocks '''assign''' ====
+
==== '''assign''' blocks ====
  
 
[[File: Adder.png | thumb | Adder module implemented]]
 
[[File: Adder.png | thumb | Adder module implemented]]
  
Assign '''is a key word that generates [[combinational circuits]]. As the summator is a [[combinational circuits | combinational circuit]], and output is implicitly wire type, we can implement it with a block '''assign'''
+
'''assign''' is a key word that generates [[combinational circuits]]. As the summator is a [[combinational circuits | combinational circuit]], and output is implicitly wire type, we can implement it with a block '''assign'''
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
 
module Adder (
 
module Adder (
Linia 140: Linia 150:
 
     input [3: 0] in0,
 
     input [3: 0] in0,
 
     input [3: 0] in1
 
     input [3: 0] in1
)
+
);
  
 
assign out=in0 + in1;
 
assign out=in0 + in1;
Linia 147: Linia 157:
 
</syntaxhighlight>
 
</syntaxhighlight>
  
'''Note:''' Generally, a block '''assign''' will generate a synthesizable circuit. There are also exceptions when the desired operation is too complex to be implemented through a combination circuit effectively. E.g:
+
'''''Note:''''' Generally, a block '''assign''' will generate a synthesizable circuit. There are also exceptions when the desired operation is too complex to be implemented through a combinational circuit effectively. E.g:
  
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
Linia 155: Linia 165:
 
is not a synthesizable code for most synthesis tools, but works fine in a simulation.
 
is not a synthesizable code for most synthesis tools, but works fine in a simulation.
  
==== Combined ''' always''' blocks ====
+
==== Combinational ''' always''' blocks ====
  
 
Always, a block '''always''' is used to give values ​​of '''reg''' signals. A block '''always''' may translate into [combinational circuits]] or [[sequential circuits]], depending on its list of sensitivities. The general format for a '''always''' block is the following:
 
Always, a block '''always''' is used to give values ​​of '''reg''' signals. A block '''always''' may translate into [combinational circuits]] or [[sequential circuits]], depending on its list of sensitivities. The general format for a '''always''' block is the following:
Linia 169: Linia 179:
 
As the name calls it, the list of sensitivities is the list of sensitive signals, that is, the registers described by the block '''always''' depend on. If only the name of a signal is passed in the list of sensitivities without any additional specifiers, then the block is sensitive to any change of this signal. If a block '''always''' has more signals to which it is sensitive, they split into the sensitivity list using the keyword '''or'''.
 
As the name calls it, the list of sensitivities is the list of sensitive signals, that is, the registers described by the block '''always''' depend on. If only the name of a signal is passed in the list of sensitivities without any additional specifiers, then the block is sensitive to any change of this signal. If a block '''always''' has more signals to which it is sensitive, they split into the sensitivity list using the keyword '''or'''.
  
'''Note:''' If the list of sensitivities contains only signals without other specifiers, then the result of the block synthesis will be a combinational circuit.
+
'''''Note:''''' If the list of sensitivities contains only signals without other specifiers, then the result of the block synthesis will be a combinational circuit.
  
 
In this case, we can redo the implementation of the summator using a block '''always''' as follows:
 
In this case, we can redo the implementation of the summator using a block '''always''' as follows:
Linia 178: Linia 188:
 
     input [3: 0] in0,
 
     input [3: 0] in0,
 
     input [3: 0] in1
 
     input [3: 0] in1
)
+
);
  
 
always @ (in0 or in1) begin
 
always @ (in0 or in1) begin
Linia 187: Linia 197:
 
</syntaxhighlight>
 
</syntaxhighlight>
  
==== Blocks '''always''' sequential. Non-blocking assignments ====
+
==== '''always''' sequential blocks. Non-blocking assignments ====
  
 
[[Sequential Circuits | Sequential Circuits]] are circuits that are synchronized by [Sequence Circuits #Clock Signal | Clock Signal]. This signal is usually produced by a clock generator and is defined as input for each sequential module (in which there is at least one register). We can modify the previous example so that the output of the summation module is synchronous (that is, change only on the positive clock front). Thus, in the module interface, the clock signal also appears:
 
[[Sequential Circuits | Sequential Circuits]] are circuits that are synchronized by [Sequence Circuits #Clock Signal | Clock Signal]. This signal is usually produced by a clock generator and is defined as input for each sequential module (in which there is at least one register). We can modify the previous example so that the output of the summation module is synchronous (that is, change only on the positive clock front). Thus, in the module interface, the clock signal also appears:
Linia 197: Linia 207:
 
     input [3: 0] in1,
 
     input [3: 0] in1,
 
     input clock
 
     input clock
)
+
);
  
 
//implementation here
 
//implementation here
Linia 205: Linia 215:
  
 
<div class="rule">
 
<div class="rule">
<font color="red"> '''''' Rule: '''' '</font> Always use a''' always '' block to describe sequential circuits.
+
<font color="red"> '''''Rule:'''''</font> Always use a '''always''' block to describe sequential circuits.
 
</div>
 
</div>
  
Linia 217: Linia 227:
 
     input [3: 0] in1,
 
     input [3: 0] in1,
 
     input clock
 
     input clock
)
+
);
  
 
always @ (posedge clock) begin
 
always @ (posedge clock) begin
Linia 226: Linia 236:
 
</syntaxhighlight>
 
</syntaxhighlight>
  
'''' 'Note:''''' The key word that specifies the positive front of a signal is posedge '''and the negative signal side is'''negedge'''.
+
'''''Note:''''' The key word that specifies the positive front of a signal is '''posedge''' and the negative signal side is '''negedge'''.
  
Note the operator '''<=''' used to assign the amount of the target register. It is NOT the 'less than or equal' logical operator, but it is a non-blocking assignment mode. The difference between blocking assignment ('''=''') and non-blocking ('''<=''') is that the second one evaluates all the expressions on the right hand side of the assignment operator front, sum '' in0 + in1 '') and only then assigns the result of the target register. For example, if we want to invert the values ​​of two registers, 'reg0' and 'reg1', so that 'reg0' takes the value of 'reg1' and vice versa, we will do the following:
+
Note the operator '''<=''' used to assign the amount of the target register. It is NOT the 'less than or equal' logical operator, but it is an assignment mode called non-blocking. The difference between blocking assignment ('''=''') and non-blocking ('''<=''') is that the second one evaluates all the expressions on the right hand side of the assignment operator front, sum '' in0 + in1 '') and only then assigns the result of the destination registry. For example, if we want to invert the values ​​of two registers, 'reg0' and 'reg1', so that 'reg0' takes the value of 'reg1' and vice versa, we will do the following:
  
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
 
module RegSwapper (
 
module RegSwapper (
 
     //...
 
     //...
)
+
);
  
 
reg [31: 0] reg0;
 
reg [31: 0] reg0;
Linia 252: Linia 262:
 
module RegSwapper (
 
module RegSwapper (
 
     //...
 
     //...
)
+
);
  
 
reg [31: 0] reg0;
 
reg [31: 0] reg0;
Linia 272: Linia 282:
  
 
<div class="rule">
 
<div class="rule">
<font color="red"> '''''' Rule: '''' '</font> In the same block''' always''', the same type of assignment operator is used for all operations.
+
<font color="red"> ''''' Rule: '''''</font> In the same block''' always''', the same type of assignment operator is used for all operations.
 
</div>
 
</div>
  
Linia 279: Linia 289:
 
</div>
 
</div>
  
==== Instance blocks ====
+
==== Instantiation blocks ====
  
 
[[File: adder4.png | thumb | A four-digit sumer consisting of three summers of two numbers]]
 
[[File: adder4.png | thumb | A four-digit sumer consisting of three summers of two numbers]]
Linia 285: Linia 295:
 
Once a module is defined, it can be used anytime during one or more projects. This system is called instantiation. Let's take as an example a module that has to make the sum of 4 3-bit numbers. We can use for this purpose the 4-bit '' Adder '''module as defined above, in the configuration in the figure. Notice that the same module is used three times. It's inefficient and useless to write the implementation of the module three times, so we'll resort to the instantiation method. Any instance of a module must have a unique name, as in a programming language, the same kind of variables must have a unique name.
 
Once a module is defined, it can be used anytime during one or more projects. This system is called instantiation. Let's take as an example a module that has to make the sum of 4 3-bit numbers. We can use for this purpose the 4-bit '' Adder '''module as defined above, in the configuration in the figure. Notice that the same module is used three times. It's inefficient and useless to write the implementation of the module three times, so we'll resort to the instantiation method. Any instance of a module must have a unique name, as in a programming language, the same kind of variables must have a unique name.
  
It is further noted that there are "threads" in the Adder4 module that are neither input nor output and are used only to connect the Adder '''(the red and the green ones) . These signals are wire ('' wire '') and must be declared as such.
+
It is further noted that there are "threads" in the Adder4 module that are neither input nor output and are used only to connect the Adder (the red and the green ones). These signals are wires ('' wire '') and must be declared as such.
  
 
The syntax for instantiating a module is as follows:
 
The syntax for instantiating a module is as follows:
Linia 294: Linia 304:
 
     //...
 
     //...
 
     .nume_intrare_sau_iesire_n (nume_semnal_legat_la_intrare_sau_iesire_n)
 
     .nume_intrare_sau_iesire_n (nume_semnal_legat_la_intrare_sau_iesire_n)
)
+
);
 
</syntaxhighlight>
 
</syntaxhighlight>
  
Linia 305: Linia 315:
 
     input [2: 0] in2,
 
     input [2: 0] in2,
 
     input [2: 0] in3
 
     input [2: 0] in3
)
+
);
  
//define the binding yarns
+
//define the connecting wires
 
wire [3: 0] subsum0;
 
wire [3: 0] subsum0;
 
wire [3: 0] subsum1;
 
wire [3: 0] subsum1;
Linia 316: Linia 326:
 
     .in0 (in0), //at the input called in0 of the adder0 instance, the input in0 of the module
 
     .in0 (in0), //at the input called in0 of the adder0 instance, the input in0 of the module
 
     .in1 (in1) //at the input called in1 of the adder0 instance connects the input in1 of the module
 
     .in1 (in1) //at the input called in1 of the adder0 instance connects the input in1 of the module
)
+
);
  
 
Adder adder1 (
 
Adder adder1 (
Linia 322: Linia 332:
 
     .in0 (in2), //at the input called in0 of the adder1 instance, the in2 input of the module
 
     .in0 (in2), //at the input called in0 of the adder1 instance, the in2 input of the module
 
     .in1 (in3) //at the input called in1 of the adder1 instance it binds the input in3 of the module
 
     .in1 (in3) //at the input called in1 of the adder1 instance it binds the input in3 of the module
)
+
);
  
 
Adder adder2 (
 
Adder adder2 (
Linia 328: Linia 338:
 
     .in0 (subsum0), //at the input called in0 of the adder2 instance, the thread subsum0
 
     .in0 (subsum0), //at the input called in0 of the adder2 instance, the thread subsum0
 
     .in1 (subsum1) //at the input called in1 of the adder2 instance, the thread subsum1
 
     .in1 (subsum1) //at the input called in1 of the adder2 instance, the thread subsum1
)
+
);
  
 
endmodule
 
endmodule
 
</syntaxhighlight>
 
</syntaxhighlight>
  
'''''' Note: Adder0 and adder1 have links to 3-bit and 4-binary inputs, although their ports have 4 or 5 bits (inputs and outputs). In this case, the bindings are aligned to the least significant bit, and a mismatch port is generated. Although the programs we use support the above code, there are programs that do not support such constructions, and stop erroneously. To be very rigorous, we will use the concatenation operator to correct the code in the following way (more about the operators you will find below):
+
''''' Note:''''' Adder0 and adder1 have links to 3-bit and 4-binary inputs, although their ports have 4 or 5 bits (inputs and outputs). In this case, the bindings are aligned to the least significant bit, and a mismatch port is generated. Although the programs we use support the above code, there are programs that do not support such constructions, and stop eroding. To be very rigorous, we will use the concatenation operator to correct the code in the following way (more about the operators you will find below):
  
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
Linia 342: Linia 352:
 
     input [2: 0] in2,
 
     input [2: 0] in2,
 
     input [2: 0] in3,
 
     input [2: 0] in3,
)
+
);
  
 
//define the binding yarns
 
//define the binding yarns
Linia 352: Linia 362:
 
     .out (subsum0), //the called out of the adder0 instance links to the submodule thread
 
     .out (subsum0), //the called out of the adder0 instance links to the submodule thread
 
     .in0 ({1'b0, in0}), //at the input called in0 of the adder0 instance binds a bit 0 concatenated with the input in0 of the module
 
     .in0 ({1'b0, in0}), //at the input called in0 of the adder0 instance binds a bit 0 concatenated with the input in0 of the module
     .in1 ({1'b0, in1}) //at the input called in1 of the adder0 instance binds a bit 0 concatenated with the input in1 of the module
+
     .in1 ({1'b0, in1}) //at the input called in1 of the adder0 instance binds a 0 bit concatenated with the in1 input of the module
)
+
);
  
 
Adder adder1 (
 
Adder adder1 (
 
     .out (subsum1), //the outgoing output of the adder1 instance binds to the subsume1
 
     .out (subsum1), //the outgoing output of the adder1 instance binds to the subsume1
 
     .in0 ({1'b0, in2}), //at the input called in0 of the adder1 instance binds a bit 0 concatenated with the input in2 of the module
 
     .in0 ({1'b0, in2}), //at the input called in0 of the adder1 instance binds a bit 0 concatenated with the input in2 of the module
     .in1 ({1'b0, in3}) //at the input called in1 of the adder1 instance it binds a bit 0 concatenated with the input in3 of the module
+
     .in1 ({1'b0, in3}) //at the input called in1 of the adder1 instance, a bit 0 concatenated with the input of the module
)
+
);
  
 
Adder adder2 (
 
Adder adder2 (
 
     .out (out), //the outgoing output of the adder2 instance links to the outgoing module
 
     .out (out), //the outgoing output of the adder2 instance links to the outgoing module
 
     .in0 (subsum0 [3: 0]), //at the input called in0 of the adder2 instance, the least significant 4 bits of the submodule thread
 
     .in0 (subsum0 [3: 0]), //at the input called in0 of the adder2 instance, the least significant 4 bits of the submodule thread
     .in1 (subsum1 [3: 0]) //at the input called in1 of the adder2 instance, the least significant 4 bits of the substring 1
+
     .in1 (subsum1 [3: 0]) //At the input called in1 of the adder2 instance, the least significant 4 bits of the submode thread 1
)
+
);
  
 
endmodule
 
endmodule
Linia 376: Linia 386:
 
The test modules are used to check the functionality of another synthesizable module. The figure below shows the block diagram for a 4-bit checker module. A generic test module follows a few clear rules:
 
The test modules are used to check the functionality of another synthesizable module. The figure below shows the block diagram for a 4-bit checker module. A generic test module follows a few clear rules:
  
* for each input of the test module, a '''reg''' variable of the same size as the input is used to generate circuit stimuli;
+
* for each input of the test module, a variable '''''''' of the same size as the input is used to generate circuit stimuli;
* for each output of the test module, a '''wire''' type variable of the same size as the output used to verify the behavior (usually by waveform display) is defined;
+
* for each output of the test module, a '' wire '' type variable of the same size as the output used for behavioral verification (usually by waveform display) is defined;
 
* instantiates the test module and links the previously defined variables to the inputs and outputs of the instance;
 
* instantiates the test module and links the previously defined variables to the inputs and outputs of the instance;
* Write a stimulus generator (an '''initial''' block) in which a timed sequence of input transitions is programmed;
+
* Write a stimulus generator (an '''''''block) in which a timed sequence of input transitions is programmed;
 
* Use simulation software to run the test and see the waveforms.
 
* Use simulation software to run the test and see the waveforms.
  
Linia 414: Linia 424:
 
</syntaxhighlight>
 
</syntaxhighlight>
  
The '''' initial '' block is used to give input values ​​to the test module. He starts execution at time t=0. Each line is executed at the same time point until the #operator who encounters time passes is encountered. Thus, in the example above, the first two lines are executed at t=0, line 3 is executed at t=5, lines 4 and 5 at t=7, lines 6 and 7 at t=10 and the last line at t=15. The $ stop () function calls the end of the simulation.
+
The ''' initial ''' block is used to give input values ​​to the test module. He starts execution at time t=0. Each line is executed at the same time point until the #operator who encounters time passes is encountered. Thus, in the example above, the first two lines are executed at t=0, line 3 is executed at t=5, lines 4 and 5 at t=7, lines 6 and 7 at t=10 and the last line at t=15. The call to $ stop () determines the end of the simulation.
  
 
=== Clock signal in test modules ===
 
=== Clock signal in test modules ===
  
The keyword '''' forever '''is used to execute a assignment or function call repeatedly until the end of the simulation. This is particularly useful for generating a clock signal. The next sequence of code generates a clock signal with two time units:
+
The keyword ''' forever ''' is used to execute a assignment or function call repeatedly until the end of the simulation. This is particularly useful for generating a clock signal. The next sequence of code generates a clock signal with two time units:
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
 
reg clock;
 
reg clock;
Linia 424: Linia 434:
 
initial begin
 
initial begin
 
     clock=0;
 
     clock=0;
     forever #1 clock =! clock;
+
     forever #1 clock = ~clock;
 
end
 
end
 
</syntaxhighlight>
 
</syntaxhighlight>
  
  
<div class="regula"><font color="red">Rule:</font> For the sequential circuits, the test module will have two ''' initial '''blocks. The first is similar to the one above, and used to generate the clock signal. The second is used to generate the other input signals and the simulation stop directive. The reason for this segregation is that the instruction '''forever''' is blocking (that is, the instructions put after it will not run). All of the '''initial''' blocks in a test module run in parallel. </div>
+
<div class="regula"><font color="red">Rule:</font> For the sequential circuits, the test module will have two '''initial''' blocks. The first is similar to the one above, and used to generate the clock signal. The second is used to generate the other input signals and the simulation stop directive. The reason for this segregation is that the instruction '''forever''' is blocking (that is, the instructions given after it are not executed). All of the '''' initial ''' blocks in a test module run in parallel. </div>
  
 
== Verilog syntax ==
 
== Verilog syntax ==
Linia 452: Linia 462:
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
 
|Division || /|| a /b
 
|Division || /|| a /b
|- bgcolor="#ddffdd" align="center"
 
|Negation || - || -a
 
 
|}
 
|}
  
Linia 462: Linia 470:
 
|'''Operation''' || '''Operator''' || '''Example'''
 
|'''Operation''' || '''Operator''' || '''Example'''
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
|Equal || == || a == b
+
|Equality || == || a == b
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
Different || !=|| a!=b
+
|Non-equality || !=|| a!=b
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
 
|Less || <|| a <b
 
|Less || <|| a <b
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
Less or equal || <= || a <= b
+
|Less or equal || <= || a <= b
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
|Higher || > || a> b
+
|More || > || a> b
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
|Higher or equal || >=|| a>=b
+
|More or equal || >=|| a>=b
 
|}
 
|}
  
Linia 485: Linia 493:
 
|Or || <nowiki> | </nowiki> || and <nowiki> | </nowiki> b
 
|Or || <nowiki> | </nowiki> || and <nowiki> | </nowiki> b
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
|Exclusively || ^ || a ^ b
+
|Exclusive or || ^ || a ^ b
 
|}
 
|}
 +
  
 
==== Bitwise logical operators ====
 
==== Bitwise logical operators ====
Linia 494: Linia 503:
 
|'''Operation''' || '''Operator''' || '''Example'''
 
|'''Operation''' || '''Operator''' || '''Example'''
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
|Deny || ! or ~ || ! a or ~ b
+
|Negation || ~ || ~ b
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
|And the bits of a signal || & || & a
+
|And the bits of a signal|| & || & a
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
 
|Or the bits of a signal || <nowiki> | </nowiki> || <Nowiki> | </nowiki> a
 
|Or the bits of a signal || <nowiki> | </nowiki> || <Nowiki> | </nowiki> a
Linia 509: Linia 518:
 
|'''Operation''' || '''Operator''' || '''Example'''
 
|'''Operation''' || '''Operator''' || '''Example'''
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
|Left shift || << || a << b
+
|Left Shift || << || a << b
 
|- bgcolor="#ddffdd" align="center"
 
|- bgcolor="#ddffdd" align="center"
|Right shift || >> || a >> b
+
|Right Shift || >> || a >> b
 
|}
 
|}
  
 
==== Bit access operator ====
 
==== Bit access operator ====
  
Given a n-bit signal, the access operator to a signal bit sub-sequence is '''[m: k]''' where m and k are indexes of the desired bits with n <m <k. For example:
+
Given a n-bit signal, the access operator to a signal bit sub-sequence is '''[m: k]''' where m and k are indexes of the desired bits with n < m < k. For example:
  
 
<syntaxhighlight lang="verilog">
 
<syntaxhighlight lang="verilog">
reg [31: 0] one_register;
+
reg [31: 0] a_register;
wire [7: 0] one_wire;
+
wire [7: 0] a_wire;
 
wire another_wire;
 
wire another_wire;
  
assign one_fir=one_register [30:23]; //the wire "one_wire" takes the value of the bit sequence from 23 to 30 in the register "one_register"
+
assign a_wire = a_register [30:23]; //the wire "a_wire" takes the value of the bit sequence from 23 to 30 in the register "a_register"
assign another_wire=one_wire [3]; //the "another_wire" wire will take the bit 3 value of the "one_wire" signal that is the bit 26 of the "one_register"
+
assign another_wire = a_wire [3]; //the "another_wire" wire will take the bit 3 value of the "a_wire" signal that is the bit 26 of the "a_register"
 
</syntaxhighlight>
 
</syntaxhighlight>
  
 
==== Concatenation operator ====
 
==== Concatenation operator ====
  
The concatenation operator is "{" and "}". Thus, a series of semicolon-separated and closed signals between two braces will result in a single signal of size equal to the sum of the dimensions of the component signals.
+
The concatenation operator is '{' and '}'. Thus, a series of semicolon-separated and closed signals between two braces will result in a single signal of size equal to the sum of the dimensions of the component signals.
  
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
wire [3: 0] a;
+
wire [3: 0] and;
 
wire [4: 0] b;
 
wire [4: 0] b;
 
wire c;
 
wire c;
Linia 545: Linia 554:
 
==== Replication operator ====
 
==== Replication operator ====
  
The replication operator is used when it is desired to replicate a large or unknown number of times (given as a parameter). Thus, the construction '''{n {m}}''' represents the signal '''m''', multiplied by '''n''' times.
+
The replication operator is used when it is desired to replicate a large or unknown number of times (given as a parameter). Thus, the construction '''{n {m}}''' represents the signal '''m''' multiplied by '''n''' times.
  
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
Linia 560: Linia 569:
  
 
The conditions can be expressed in three ways:
 
The conditions can be expressed in three ways:
* using the known conditional operator in C (condition '''?'''value_for_true''': '''value_for_false);
+
* using the known conditional operator in C (condition '''?'''_value_value''': '''value_for_fals);
* using the ''' if - else ''' construction;
+
* using the '' if - else '' construction;
 
* using the case-endcase case or endcase case or endcase case.
 
* using the case-endcase case or endcase case or endcase case.
  
Linia 571: Linia 580:
 
wire [3: 0] d;
 
wire [3: 0] d;
  
assign b=a ? c: d; //if it is true (ie if it is equal to 1), then b takes the value of c, otherwise, b is the value of d
+
assign b=a? c: d; //if it is true (ie if it is equal to 1), then b takes the value of c, otherwise, b is the value of d
 
</syntaxhighlight>
 
</syntaxhighlight>
  
Linia 602: Linia 611:
 
//in any other case, b is 0
 
//in any other case, b is 0
 
always @ (a or c or d) begin
 
always @ (a or c or d) begin
    case (a)
+
    case (a)
        2'b00: e=c;
+
        2'b00: e=c;
        2'b01: e=d;
+
        2'b01: e=d;
        default: e=3'b000;
+
        default: e=3'b000;
    endcase
+
    endcase
 
end
 
end
  
 
</syntaxhighlight>
 
</syntaxhighlight>

Versiunea curentă din 30 mai 2018 10:54

Modules (synthesizable)

The Verilog language is structured on modules. Each module represents a circuit that implements a certain function. For example, a module may be a summation, ie a circuit that has two entries specifying the two operands and an output representing the result of the assembly. The content of the module is the (structural or behavioral) description of the gates that calculate the sum of the two entries. Therefore, the definition of a Verilog module has two parts:

  • interface - the list of all the input and output ports of the circuit, specified by name and size;
  • implementation - actual circuit description using input values ​​to calculate output values;

Verilog Module Interface

The Adder module interface is shown below. Note: As in the decimal system, where the sum of two numbers n digits needs n+1 digits ( 9 + 9 = 18), in the binary system, the sum of two n bits will be on n + 1 bits.

Representation of the Adder module (black box)
module Adder (
    output [4: 0] out,
    input [3: 0] in0,
    input [3: 0] in1
);

//implementation

endmodule

The keywords module and endmodule are used to start and end defining a module. Immediately after the keyword module follows the module name.

Convention: The name of a module will begin with a large letter.

After defining the module name, the list of ports, placed between round brackets and separated by comma follows. Accepted keywords are output (representing an output port), input (representing an input port) and ' 'inout' '(representing a bidirectional port).

Tip: Introduction of Tri-state Buffer elements is ineffective. A more efficient alternative is to define two ports, one input and one output, with similar names (ex: data_in and data_out ).

Convention: First the outputs, then the inputs of a module are defined.

Convention: module.

According to the port type, it follows its size, specified in the bit indexes, where the least significant bit has the index 0. For example, a 4 bit signal will have the following specification: [3: 0] significantly has index 3, least significant 0, total 4 bits). Note: One-bit signals lack the size specification:

input signal_de_un_bit,

After the list of ports in brackets, the interface definition ends with the ; character.

  1. Remark: There are non-synthesizable modules (which do not have logical gaps), which are used as test programs in simulation environments and are called test modules. These modules have no input and output ports and are used only to give the input port values ​​of the module to be tested, and to check the values ​​on the output ports of the module. For these modules, the list of ports and their associated parentheses are missing:
Module TestModule;

//implementation

endmodule

Implementing Verilog Modules

The implementation of Verilog modules is done through blocks. These blocks may or may not correspond to a physical scent. If all blocks of a module have a correspondent in a physical circuit, then the module is synthesizable and can be transformed into a physical circuit. Blocks that can generate synthesizable constructions are of four types:

  • blocks assign
  • blocks always
  • Instance blocks
  • blocks generated

In addition, Verilog can define threads (wire) and registers (reg).

Blocks that are always unintelligible and are used exclusively for simulation:

  • blocks initial

Remark: Not all assign or always blocks are synthesizable. There are syntactic constructs that do not have a correspondent in the circuit. These blocks can be simulated but can not be used to program an FPGA

Note: The order of blocks in a module does not matter.

Fire (wire) and registers (reg)

The threads are used for linking modules and for assigning partial results to combinational circuits, therefore:

Rule: or as the output of a module (never both simultaneously).

The threads in a Verilog module are defined as follows:

wire [3: 0] bunch_of_wires;

Registers are commonly used to implement sequential circuits, and in those circuits they are physical registers, but:

Remark: A reg element does not necessarily translate into a physical register. Translating it depends on how it is used.

A register is defined as follows:

reg [3: 0] register;

Rule: or initial.

Rule: No element can change its value in more than one block. That is, for a wire ( wire ), there can not be two assign blocks in which it changes the value, and for reg there is only one block of always or initial in which it changes its value.

Note: An input of a module is always a wire. Therefore the statement

    input [3: 0] in0,

is equivalent to

    input wire [3: 0] in0,


Remark: An output of a module may be a wire or reg. If not specified, it is a wire type. Therefore the statement

    output [4: 0] out,

is equivalent to

    output wire [4: 0] out,

assign blocks

Adder module implemented

assign is a key word that generates combinational circuits. As the summator is a combinational circuit, and output is implicitly wire type, we can implement it with a block assign

module Adder (
    output [4: 0] out,
    input [3: 0] in0,
    input [3: 0] in1
);

assign out=in0 + in1;

endmodule

Note: Generally, a block assign will generate a synthesizable circuit. There are also exceptions when the desired operation is too complex to be implemented through a combinational circuit effectively. E.g:

assign out=in0 /in1;

is not a synthesizable code for most synthesis tools, but works fine in a simulation.

Combinational always blocks

Always, a block always is used to give values ​​of reg signals. A block always may translate into [combinational circuits]] or sequential circuits, depending on its list of sensitivities. The general format for a always block is the following:

always @ (<sensitivity list>) begin
    //...
end

As the name calls it, the list of sensitivities is the list of sensitive signals, that is, the registers described by the block always depend on. If only the name of a signal is passed in the list of sensitivities without any additional specifiers, then the block is sensitive to any change of this signal. If a block always has more signals to which it is sensitive, they split into the sensitivity list using the keyword or.

Note: If the list of sensitivities contains only signals without other specifiers, then the result of the block synthesis will be a combinational circuit.

In this case, we can redo the implementation of the summator using a block always as follows:

module Adder (
    output reg [4: 0] out,
    input [3: 0] in0,
    input [3: 0] in1
);

always @ (in0 or in1) begin
    out=in0 + in1;
end

endmodule

always sequential blocks. Non-blocking assignments

Sequential Circuits are circuits that are synchronized by [Sequence Circuits #Clock Signal | Clock Signal]. This signal is usually produced by a clock generator and is defined as input for each sequential module (in which there is at least one register). We can modify the previous example so that the output of the summation module is synchronous (that is, change only on the positive clock front). Thus, in the module interface, the clock signal also appears:

module SyncedAdder (
    output reg [4: 0] out,
    input [3: 0] in0,
    input [3: 0] in1,
    input clock
);

//implementation here

endmodule

Rule: Always use a always block to describe sequential circuits.

SyncedAdder Module

Block always that describes a sequential circuit has only the clock signal in the list of sensitivities and it is not sensitive to any clock transition but only to one of the fronts (usually the positive one). Thus, we can implement the Synchronizer as follows:

module SyncedAdder (
    output reg [4: 0] out,
    input [3: 0] in0,
    input [3: 0] in1,
    input clock
);

always @ (posedge clock) begin
    out <= in0 + in1;
end

endmodule

Note: The key word that specifies the positive front of a signal is posedge and the negative signal side is negedge.

Note the operator <= used to assign the amount of the target register. It is NOT the 'less than or equal' logical operator, but it is an assignment mode called non-blocking. The difference between blocking assignment (=) and non-blocking (<=) is that the second one evaluates all the expressions on the right hand side of the assignment operator front, sum in0 + in1 ) and only then assigns the result of the destination registry. For example, if we want to invert the values ​​of two registers, 'reg0' and 'reg1', so that 'reg0' takes the value of 'reg1' and vice versa, we will do the following:

module RegSwapper (
    //...
);

reg [31: 0] reg0;
reg [31: 0] reg1;

//correct code
always @ (posedge clock) begin
    reg0 <= reg1;
    reg1 <= reg0;
end

endmodule

The module will behave as expected. The operator <= will not block the rest of the always block evaluations and therefore all assignments are made simultaneously after evaluating the operator's right-hand expressions. On the other hand, if we do the blocking assignment:

module RegSwapper (
    //...
);

reg [31: 0] reg0;
reg [31: 0] reg1;

//incorrect code
always @ (posedge clock) begin
    reg0=reg1;
    reg1=reg0;
end

endmodule

this will block the rest of the operations until the assignment ends. In this case, after the first clock queue, both registers will contain the initial value of reg1 .

The non-blocking assignment operator (<=) is used only in blocks always or initial.

Rule: In the same block always, the same type of assignment operator is used for all operations.

Use non-blocking assignment for all blocks always which generate sequential circuits (are clock synchronized) and blocking assignment in all other cases.

Instantiation blocks

A four-digit sumer consisting of three summers of two numbers

Once a module is defined, it can be used anytime during one or more projects. This system is called instantiation. Let's take as an example a module that has to make the sum of 4 3-bit numbers. We can use for this purpose the 4-bit Adder 'module as defined above, in the configuration in the figure. Notice that the same module is used three times. It's inefficient and useless to write the implementation of the module three times, so we'll resort to the instantiation method. Any instance of a module must have a unique name, as in a programming language, the same kind of variables must have a unique name.

It is further noted that there are "threads" in the Adder4 module that are neither input nor output and are used only to connect the Adder (the red and the green ones). These signals are wires ( wire ) and must be declared as such.

The syntax for instantiating a module is as follows:

NameModuleInstantiatedNameName (
    .nume_intrare_sau_iesire_0 (nume_semnal_legat_la_intrare_sau_iesire_0)
    .nume_intrare_sau_iesire_1 (nume_semnal_legat_la_intrare_sau_iesire_1)
    //...
    .nume_intrare_sau_iesire_n (nume_semnal_legat_la_intrare_sau_iesire_n)
);

So let's see what the Verilog code for the Adder4 module looks like:

module Adder4 (
    output [4: 0] out,
    input [2: 0] in0,
    input [2: 0] in1,
    input [2: 0] in2,
    input [2: 0] in3
);

//define the connecting wires
wire [3: 0] subsum0;
wire [3: 0] subsum1;

//instantiating the modules
Adder adder0 (
    .out (subsum0), //the called out of the adder0 instance links to the submodule thread
    .in0 (in0), //at the input called in0 of the adder0 instance, the input in0 of the module
    .in1 (in1) //at the input called in1 of the adder0 instance connects the input in1 of the module
);

Adder adder1 (
    .out (subsum1), //the outgoing output of the adder1 instance binds to the subsume1
    .in0 (in2), //at the input called in0 of the adder1 instance, the in2 input of the module
    .in1 (in3) //at the input called in1 of the adder1 instance it binds the input in3 of the module
);

Adder adder2 (
    .out (out), //the outgoing output of the adder2 instance links to the outgoing module
    .in0 (subsum0), //at the input called in0 of the adder2 instance, the thread subsum0
    .in1 (subsum1) //at the input called in1 of the adder2 instance, the thread subsum1
);

endmodule

Note: Adder0 and adder1 have links to 3-bit and 4-binary inputs, although their ports have 4 or 5 bits (inputs and outputs). In this case, the bindings are aligned to the least significant bit, and a mismatch port is generated. Although the programs we use support the above code, there are programs that do not support such constructions, and stop eroding. To be very rigorous, we will use the concatenation operator to correct the code in the following way (more about the operators you will find below):

module Adder4 (
    output [4: 0] out,
    input [2: 0] in0,
    input [2: 0] in1,
    input [2: 0] in2,
    input [2: 0] in3,
);

//define the binding yarns
wire [4: 0] subsum0; //define the 5-bit threads because the output of adder0 and adder1 is 5 bits
wire [4: 0] subsum1;

//instantiating the modules
Adder adder0 (
    .out (subsum0), //the called out of the adder0 instance links to the submodule thread
    .in0 ({1'b0, in0}), //at the input called in0 of the adder0 instance binds a bit 0 concatenated with the input in0 of the module
    .in1 ({1'b0, in1}) //at the input called in1 of the adder0 instance binds a 0 bit concatenated with the in1 input of the module
);

Adder adder1 (
    .out (subsum1), //the outgoing output of the adder1 instance binds to the subsume1
    .in0 ({1'b0, in2}), //at the input called in0 of the adder1 instance binds a bit 0 concatenated with the input in2 of the module
    .in1 ({1'b0, in3}) //at the input called in1 of the adder1 instance, a bit 0 concatenated with the input of the module
);

Adder adder2 (
    .out (out), //the outgoing output of the adder2 instance links to the outgoing module
    .in0 (subsum0 [3: 0]), //at the input called in0 of the adder2 instance, the least significant 4 bits of the submodule thread
    .in1 (subsum1 [3: 0]) //At the input called in1 of the adder2 instance, the least significant 4 bits of the submode thread 1
);

endmodule

Test modules (not synonymous)

Test mode for 4-bit add-on

The test modules are used to check the functionality of another synthesizable module. The figure below shows the block diagram for a 4-bit checker module. A generic test module follows a few clear rules:

  • for each input of the test module, a variable ''' of the same size as the input is used to generate circuit stimuli;
  • for each output of the test module, a wire type variable of the same size as the output used for behavioral verification (usually by waveform display) is defined;
  • instantiates the test module and links the previously defined variables to the inputs and outputs of the instance;
  • Write a stimulus generator (an ''block) in which a timed sequence of input transitions is programmed;
  • Use simulation software to run the test and see the waveforms.

Thus, the test module for the 4-bit adder will look like this:

module AdderTester;

//this is the definition of variables and wires
//for driving signals
reg [3: 0] i0;
reg [3: 0] i1;
wire [4: 0];

//this is where the stimulus is added for the module
initial begin
     i0=0;
     i1=0;
  #5 i0=3;
  #2 i0=2;
     i1=1;
  #3 i0=1;
     i1=5;
  #5 $ stop ();
end
  
//this is where the tested module is instantiated
Adder deviceUnderTest (
  .out (a)
  .in0 (I0),
  .in1 (i1)
)
  
endmodule

The initial block is used to give input values ​​to the test module. He starts execution at time t=0. Each line is executed at the same time point until the #operator who encounters time passes is encountered. Thus, in the example above, the first two lines are executed at t=0, line 3 is executed at t=5, lines 4 and 5 at t=7, lines 6 and 7 at t=10 and the last line at t=15. The call to $ stop () determines the end of the simulation.

Clock signal in test modules

The keyword forever is used to execute a assignment or function call repeatedly until the end of the simulation. This is particularly useful for generating a clock signal. The next sequence of code generates a clock signal with two time units:

reg clock;

initial begin
    clock=0;
    forever #1 clock = ~clock;
end


Rule: For the sequential circuits, the test module will have two initial blocks. The first is similar to the one above, and used to generate the clock signal. The second is used to generate the other input signals and the simulation stop directive. The reason for this segregation is that the instruction forever is blocking (that is, the instructions given after it are not executed). All of the ' initial blocks in a test module run in parallel.

Verilog syntax

Constants

Constants are numerical values. For each value, specify the number of bits that it represents and the base in which it is written. For example, 8'b111 is an 8-bit constant whose value in binary is 111 (ie in decimal, 7). In the same way, 16'd10 represents 10 in decimal represented by 16 bits. It is possible to specify the value without the number of bits or base (in which case the default is the decimal one, and the number of bits is approximated by the compiler).

Operators

Arithmetic Operators

Operation Operator Example
Addition + a + b
Substraction - a - b
Multiplication * a * b
Division / a /b

Logical Operators

Operation Operator Example
Equality == a == b
Non-equality != a!=b
Less < a <b
Less or equal <= a <= b
More > a> b
More or equal >= a>=b

Bitwise logic operators

Operation Operator Example
And & a & b
Or | and | b
Exclusive or ^ a ^ b


Bitwise logical operators

Operation Operator Example
Negation ~ ~ b
And the bits of a signal & & a
Or the bits of a signal | | a
Or exclusively on the bits of a signal ^ ^ a

Bit shift operators

Operation Operator Example
Left Shift << a << b
Right Shift >> a >> b

Bit access operator

Given a n-bit signal, the access operator to a signal bit sub-sequence is [m: k] where m and k are indexes of the desired bits with n < m < k. For example:

reg [31: 0] a_register;
wire [7: 0] a_wire;
wire another_wire;

assign a_wire = a_register [30:23]; //the wire "a_wire" takes the value of the bit sequence from 23 to 30 in the register "a_register"
assign another_wire = a_wire [3]; //the "another_wire" wire will take the bit 3 value of the "a_wire" signal that is the bit 26 of the "a_register"

Concatenation operator

The concatenation operator is '{' and '}'. Thus, a series of semicolon-separated and closed signals between two braces will result in a single signal of size equal to the sum of the dimensions of the component signals.

wire [3: 0] and;
wire [4: 0] b;
wire c;
wire [9: 0] d;

//the signal d is formed by the concatenation of the signals a, b, c
//where a is in the most significant position and c
//in the least significant position
assign d={a, b, c};

Replication operator

The replication operator is used when it is desired to replicate a large or unknown number of times (given as a parameter). Thus, the construction {n {m}} represents the signal m multiplied by n times.

wire a;
wire [4: 0] b;
wire [7: 0] c;
wire [15: 0] d;

assign b={5 {a}}; //b will take the value of a, replicated 5 times
assign d={2 {c}}; //d will take the value of c (8 bits) replicated 2 times

Blocks and conditional operators

The conditions can be expressed in three ways:

  • using the known conditional operator in C (condition ?_value_value: value_for_fals);
  • using the if - else construction;
  • using the case-endcase case or endcase case or endcase case.

The conditional operator can be used in any type of block. Example:

wire a;
wire [3: 0] b;
wire [3: 0] c;
wire [3: 0] d;

assign b=a? c: d; //if it is true (ie if it is equal to 1), then b takes the value of c, otherwise, b is the value of d

Blocks' if - else , case - endcase can only be used in blocks always. Example:

wire a;
reg [3: 0] b;
wire [3: 0] c;
wire [3: 0] d;

always @ (a or c or d) begin
    if (a) begin
        b=c;
    end else begin
        b=d;
    end
end

Example case - endcase:

wire [1: 0] and;
reg [3: 0] e;
wire [3: 0] c;
wire [3: 0] d;

//if a is equal to 0, then it takes the value of c
//if a is equal to 1, then it takes the value of d
//in any other case, b is 0
always @ (a or c or d) begin
     case (a)
         2'b00: e=c;
         2'b01: e=d;
         default: e=3'b000;
     endcase
end