Signal strengths

• 4 driving strengths
• 3 capacitative strengths
• 1 high impedence

Table from here:

• Strength of a net is the strength of its highest driving signal.
• High impedence is like when there is an open circuit ??
  • https://stackoverflow.com/questions/49987012/the-difference-between-x-and-z

See:

• https://web.archive.org/web/20201022054201/https://verilog.renerta.com/source/vrg00047.htm
• https://www.hdlworks.com/hdl_corner/verilog_ref/items/Strengths.htm
• https://vlsiverify.com/verilog/strength-in-verilog/

—

Signal states ??

In simulation, all values start with x by default.

initial block

• Starts execution immediately
• Each statement in the block is executed one after the other, not concurrently
• The entire block runs only once
  • Unlike always block
• There can be multiple initial blocks??
• initial blocks are not synthesizable (generally)

https://www.pace.edu.in/img/course/Verilog_HDL_Module4.pdf

Assignments

• Blocking: =
• non-blocking: <=

General

• Comment: As in C
  • Single line: //
  • Multi-line: /* ... */
• Values:
  • z: high impedence
  • x: unknown/uninitialized
  • 0: logic 0
  • 1: logic 1
• localparam: similar to parameter but cannot be modified by module instance argument or with defparam
  • https://stackoverflow.com/questions/30288783/difference-between-parameter-and-localparam

Literals

Format: n'bVAL:

• n: number of bits
• b: base
• VAL: value

Default is base is decimal.

• 8'hFF: 8-bit hex number of value FF (ie, 0xFF)
• 5'b101: 5-bit binary number (ie, 0b00101)
• 1: decimal number
• 3'o5: 3-bit octal number (ie, 0o5)

https://users.ece.utexas.edu/~patt/04s.382N/tutorial/verilog_manual.html

Compiler directives

• Starts with a backtick.
• Eg: `define, `include, `ifdef .. else .. `endif,
• `include "file.v": include another verilog file
• `define: make text macros (à la C)

See:

• https://vlsiverify.com/verilog/compiler-directives/
• https://users.ece.utexas.edu/~patt/04s.382N/tutorial/verilog_manual.html

Macros

• C-style macros
• Textual replacement

// word size
`define wsize 32
`define word [`wsize-1:0]
...
...
input `word a, b;

Operators

• Conditional operator (ternary): ?:
  • cond ? true : false
• Shifting: << and >>
• Concatenation
  • Possible for any sized value
  • Syntax: comma seperated values inside curly braces
  • Eg: {1'b0, 1'b1, 1'b0} gives 3'b010
  • Provision for repetition available: {2 {expr}} is same as {expr, expr}
    • Eg: {2 {1'b0}, 1'b1} is 3'b001
    • assign {c_out, sum} = a + b + c_in; (in full adder)

Indexing into vectors

Possible for sized values like vectors ??

wire [7:0] a;

// 0th bit of a
a[0]

// 4th bit of a
a[4]

wire [7:0] a;

// 2nd, 1st and 0th bits of a
a[2:0]

// 5th, 4th and 3rd bits of a
a[5:3]

System tasks

• $dumpfile("name.vcd"): dump wave info as vcd
• $dumpvars(number_of_levels, instance_name): dump wave info as vcd
  • level_count = 0: dump all signals at all levels of the instance
  • level_count = 1: only dump signals at top level
  • level_count = n: dump signals n level hierarchically below named instance ??
• $readmemb("filename", instance_name.mem, starting_addr): read from a binary file ??
• $readmemh("filename", instance_name.mem, starting_addr): read from a hex file ??
• $strobe: print messages on screen after end of current time slot (postpone region)
  • Like printf in C
  • Eg: $strobe()
• $display: print messages (active region)
• $write: like $display, but no newline
• $time: returns current simulation time
• $finish: end simulation

See:

• https://users.ece.utexas.edu/~patt/04s.382N/tutorial/verilog_manual.html

specify blocks

• A relatively obscure part of verilog..

• 'Defines a delay across a module'

• Delays are mentioned in picoseconds

• A => B = 12: simple combinationational path from A to B with delay 12ps

See:

• https://www.hdlworks.com/hdl_corner/verilog_ref/items/Specify.htm
• https://yosyshq.readthedocs.io/projects/yosys/en/latest/yosys_internals/extending_yosys/abc_flow.html

Misc

• bufif0, bufif1, notif0, buf
  • https://vlsiverify.com/verilog/gate-level-modeling/
  • https://peterfab.com/ref/verilog/verilog_renerta/mobile/source/vrg00003.htm
• trireg nets
• drive strength vs charge strength

iverilog

• Find directory of vpi modules: iverilog-vpi --install-dir ʳ

Tips

• Delay in synthetically verilog ??
  • Count clock as per operating frequency
• How to find operating frequency of a design loaded onto fpga? Is that a constraint?

DBT

• Postpone region
• Active region
• Can this be made a one-liner?

temp[0] <= a^b;
temp[1] <= a&b;

• How to drive RGB output
• How to circularly shift a 1 in a vector
• Worst negative slack is 4.002ns, but total negative slack is 0.000ns ??
• what colour if 11 is written to an rgb led?

Splitting long lines

This works:

// Verilog
module full_adder (
  input a, b, cin,
  output s, cout
);

  assign s = a ^ b ^ cin;
  assign cout =
      (a & b)
    | (b & cin)
    | (cin & a);
endmodule

Links

• IEEE standard for SystemVerilog: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8299595

SystemVerilog

• Function: function <name> (args); <body> endfunction
  • Arguments can have default values
• Array
  • Declaration: <type> <name> [<size>];
  • Size of array: $size <name>
• for loop: for(int i=0; i<5; i++) begin ... end
  • Kinda like in C
• .svh: like header files for SystemVerilog source

Stuff not in verilog:

• === and !==
• ++, -- (incr/decr)
• +=, -= (assignment)
• always_ff, always_comb, always_latch
  • https://www.verilogpro.com/systemverilog-always_comb-always_ff/
• priorty, unique
  • Kind of like parallel_case and full_case pragmas in verilog ??
• interface
• https://www.doulos.com/knowhow/systemverilog/systemverilog-tutorials/systemverilog-rtl-tutorial/

typedef enum {red, green, blue} Colour;

typedef enum {red=10, green=20, blue=30} Colours;

// Assoc array with string index and int values
int fruitprice[string];

fruitprice = '{"Apple": 190,
               "Orange": 120};

bit [7:0] addr;
constraint addr_limit { addr <= 8'hB; }

$ iverilog -g mem.sv 
Unknown/Unsupported Language generation mem.sv

Supported generations are:
    1995    -- IEEE1364-1995
    2001    -- IEEE1364-2001
    2005    -- IEEE1364-2005
    2005-sv -- IEEE1800-2005
    2009    -- IEEE1800-2009
    2012    -- IEEE1800-2012
Other generation flags:
    assertions | supported-assertions | no-assertions
    specify | no-specify
    verilog-ams | no-verilog-ams
    std-include | no-std-include
    relative-include | no-relative-include
    xtypes | no-xtypes
    icarus-misc | no-icarus-misc
    io-range-error | no-io-range-error
    strict-ca-eval | no-strict-ca-eval
    strict-expr-width | no-strict-expr-width
    shared-loop-index | no-shared-loop-index

$ iverilog -g2005-sv mem.sv 

if (en_wr)

if en_wr

clocking drv_cb @(posedge clk);
  output a, b, cin;
endclocking

`ifdef MACRO_NAME

`endif

$ verible-verilog-lint tb/*

tb/ifc.sv:18:1-2: Remove trailing spaces. [Style: trailing-spaces] [no-trailing-spaces]
tb/ifc.sv:33:31: Remove trailing spaces. [Style: trailing-spaces] [no-trailing-spaces]
tb/scoreboard.sv:26:87: Remove trailing spaces. [Style: trailing-spaces] [no-trailing-spaces]
tb/scoreboard.sv:30:101-119: Line length exceeds max: 100; is: 119 [Style: line-length] [line-length]
tb/scoreboard.sv:30:119: Remove trailing spaces. [Style: trailing-spaces] [no-trailing-spaces]
tb/top.sv:31:15: Remove trailing spaces. [Style: trailing-spaces] [no-trailing-spaces]