Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

SystemVerilog

SystemVerilog - Programming language

< >

SystemVerilog is a programming language created in 2002.

#237on PLDB 21Years Old 1.3kUsers
9Books 3Papers 10kRepos

SystemVerilog, standardized as IEEE 1800, is a hardware description and hardware verification language used to model, design, simulate, test and implement electronic systems. SystemVerilog is based on Verilog and some extensions, and since 2008 Verilog is now part of the same IEEE standard. It is commonly used in the semiconductor and electronic design industry as an evolution of Verilog.. Read more on Wikipedia...


Example from Linguist:
function integer log2; input integer x; begin x = x-1; for (log2 = 0; x > 0; log2 = log2 + 1) x = x >> 1; end endfunction
Example from Wikipedia:
class eth_frame; // Definitions as above covergroup cov; coverpoint dest { bins bcast[1] = {48'hFFFFFFFFFFFF}; bins ucast[1] = default; } coverpoint f_type { bins length[16] = { [0:1535] }; bins typed[16] = { [1536:32767] }; bins other[1] = default; } psize: coverpoint payload.size { bins size[] = { 46, [47:63], 64, [65:511], [512:1023], [1024:1499], 1500 }; } sz_x_t: cross f_type, psize; endgroup endclass

Keywords in SystemVerilog

accepton alias always alwayscomb alwaysff alwayslatch and assert assign assume automatic before begin bind bins binsof bit break buf bufif0 bufif1 byte case casex casez cell chandle checker class clocking cmos config const constraint context continue cover covergroup coverpoint cross deassign default defparam design disable dist do edge else end endcase endchecker endclass endclocking endconfig endfunction endgenerate endgroup endinterface endmodule endpackage endprimitive endprogram endproperty endspecify endsequence endtable endtask enum event eventually expect export extends extern final firstmatch for force foreach forever fork forkjoin function generate genvar global highz0 highz1 if iff ifnone ignorebins illegalbins implements implies import incdir include initial inout input inside instance int integer interconnect interface intersect join joinany joinnone large let liblist library local localparam logic longint macromodule matches medium modport module nand negedge nettype new nexttime nmos nor noshowcancelled not notif0 notif1 null or output package packed parameter pmos posedge primitive priority program property protected pull0 pull1 pulldown pullup pulsestyleondetect pulsestyleonevent pure rand randc randcase randsequence rcmos real realtime ref reg rejecton release repeat restrict return rnmos rpmos rtran rtranif0 rtranif1 salways seventually snexttime suntil suntilwith scalared sequence shortint shortreal showcancelled signed small soft solve specify specparam static string strong strong0 strong1 struct super supply0 supply1 syncaccepton syncrejecton table tagged task this throughout time timeprecision timeunit tran tranif0 tranif1 tri tri0 tri1 triand trior trireg type typedef union unique unique0 unsigned until untilwith untyped use uwire var vectored virtual void wait waitorder wand weak weak0 weak1 while wildcard wire with within wor xnor xor

Language features

Feature Supported Token Example
Binary Literals ✓
// ([1-9][_0-9]*)?\s*\'[sS]?[bB]\s*[xXzZ?01][_xXzZ?01]*
Integers ✓
// ([1-9][_0-9]*)?\s*\'[sS]?[dD]\s*[xXzZ?0-9][_xXzZ?0-9]*
Floats ✓
// (\d+\.\d*|\.\d+|\d+)[eE][+-]?\d+[lL]?
Hexadecimals ✓
// ([1-9][_0-9]*)?\s*\'[sS]?[hH]\s*[xXzZ?0-9a-fA-F][_xXzZ?0-9a-fA-F]*
Octals ✓
// ([1-9][_0-9]*)?\s*\'[sS]?[oO]\s*[xXzZ?0-7][_xXzZ?0-7]*
Conditionals ✓
Inheritance ✓
Functions ✓
Constants ✓
Classes ✓
While Loops ✓
MultiLine Comments ✓ /* */
/* A comment
*/
Strings ✓
Comments ✓
// A comment
Line Comments ✓ //
// A comment
Semantic Indentation X

Books about SystemVerilog on goodreads

title author year reviews ratings rating
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features Chris Spear 2006 1 16 4.19
Systemverilog for Verification: A Guide to Learning the Testbench Language Features Christian B. Spear 2008 1 7 4.71
Systemverilog for Verification: A Guide to Learning the Testbench Language Features Chris Spear 2006 0 9 4.22

Books about SystemVerilog from ISBNdb

title authors year publisher
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features Spear, Chris and Tumbush, Greg 2012 Springer
SystemVerilog for Verification Chris Spear 20060915 Springer Nature
FPGA Programming for Beginners: Bring your ideas to life by creating hardware designs and electronic circuits with SystemVerilog Bruno, Frank 2021 Packt Publishing
FPGA Programming for Beginners: Bring your ideas to life by creating hardware designs and electronic circuits with SystemVerilog Bruno, Frank 2021 Packt Publishing
FPGA Prototyping by SystemVerilog Examples: Xilinx MicroBlaze MCS SoC Edition Chu, Pong P. 2018 Wiley
Logic Design and Verification Using SystemVerilog Thomas, Donald 2014 CreateSpace Independent Publishing Platform

Publications about SystemVerilog from Semantic Scholar

title authors year citations influentialCitations
Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog Muhammad Waseem Anwar and M. Rashid and F. Azam and M. Kashif 2017 36 0
A model-driven framework for design and verification of embedded systems through SystemVerilog Muhammad Waseem Anwar and M. Rashid and F. Azam and M. Kashif and Wasi Haider Butt 2019 33 0
Verifying an Implementation of Genetic Algorithm on FPGA-SoC using SystemVerilog Hayder Al-Hakeem and S. Karhu and J. Alander 2018 1 0
s-expressions.html · systemverilog.html · opa.html

View source

- Build the next great programming language · Search · Day 213 · About · Blog · Acknowledgements · Traffic · Traffic Today · GitHub · feedback@pldb.com