{"id":15848,"date":"2021-02-16T16:38:42","date_gmt":"2021-02-16T21:38:42","guid":{"rendered":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/?p=15848"},"modified":"2026-03-27T08:46:40","modified_gmt":"2026-03-27T12:46:40","slug":"systemverilog-syntax","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2021\/02\/16\/systemverilog-syntax\/","title":{"rendered":"The Semantics of SystemVerilog Syntax"},"content":{"rendered":"\n
\"SystemVerilog\"<\/a><\/figure><\/div>\n\n\n\n

Trying to grasp any programming language from scratch can be a difficult task, especially when you start by reading the Language Reference Manual (LRM). The <\/a>SystemVerilog<\/a> LRM <\/a>is 1315 pages. For comparison, the C(2018) LRM<\/a> is 520 and the C++(2020) LRM<\/a> is 1853 pages.  LRMs are not written to teach one how to learn a language; they are mainly worded for people writing tools to be compliant with the standard. Although there are a number of additional resources for learning SystemVerilog, this post tackles one key aspect of the SystemVerilog usually left out: the BNF.<\/p>\n\n\n\n

Backus-Naur Form<\/h2>\n\n\n\n

Syntax is a set of formal grammar rules, expressed in metalanguage called Backus-Naur Form<\/a> (BNF), listed in Annex A of the SystemVerilog LRM. Since the creation of ALGOL, considered the ancestor of most modern programming languages, the BNF is used by compilers of many tool chains to determine what each token in the source code represents (i.e., keyword, identifier, operator, string, comment). And all the possible legal groupings of tokens are given names called \u201cproductions\u201d.<\/p>\n\n\n\n

Semantics is everything that happens after the source code is parsed. Does the compiler understand how to implement what it just parsed? Does what you have written violate some use pattern deemed too unsafe to implement? You can have illegal code with legal syntax, but you cannot have legal code without legal syntax. Syntax allows you to write !A<\/code>, but semantics will not allow it if A<\/code> is a real number.
Say we see the piece of code below, assuming A, B, and C have already been declared as integral variables:<\/p>\n\n\n\n

A <= B <= C;<\/code><\/pre>\n\n\n\n
There could be different ways of interpreting this code depending on the context of the location of this code. As a statement<\/em> it would be interpreted as \u201ca non-blocking assignment to A with the expression B less than or equal to C\u201d. As a constraint expression, this would be interpreted as \u201cthe result of A less than or equal to B must be less than or equal to C\u201d. If we saw that same piece of code with more context:<\/p>\n\n\n\n
always @(posedge clk) begin\n    A <= B <= C; \nend<\/code><\/pre>\n\n\n\n
the BNF rules, by position of all the tokens, determines that the first <=<\/strong> is a non-blocking<\/em> assignment <\/em>operator, and the second <=<\/strong> is a less-than or equal to <\/em>operator. If we assume the always<\/code> is in the proper location within a module, we can start looking for a matching production in the BNF.<\/p>\n\n\n\n
always_construct ::= always_keyword statement\nalways_keyword ::= <\/em>always<\/span> | always_comb<\/span> | always_latch<\/span> | always_ff<\/span>\nstatement ::= [ block_identifier <\/em>:<\/span> ] { attribute_instance } statement_item\nstatement_item ::=\nblocking_assignment ;\n      | nonblocking_assignment ;\n      | procedural_continuous_assignment ;\n      | inc_or_dec_expression ;\n      | procedural_timing_control_statement\n      | seq_block\n      |\u2026 [14 more productions]<\/em><\/pre>\n\n\n\n
The always_construct <\/em>production lets the parser know that SystemVerilog allows an always_keywor<\/em>d production followed by a single statement<\/em> production. The always_keyword<\/em> production lists four possible keywords that could start an always_construct<\/em>. Then the parser looks through the 20 possible productions for a statement_item and finds a match with @<\/span>(posedge)<\/code> as a procedural timing control statement<\/p>\n\n\n\n
procedural_timing_control_statement ::=\nprocedural_timing_control statement_or_null<\/em><\/pre>\n\n\n\n
If you follow statement_or_null <\/em>production, you notice that it recurses back to a statement<\/em>. That is what allows you to write a series of timing controls before any procedural statement. Then the parser comes to the begin<\/span><\/code> keyword, which is a sequential block statement. <\/p>\n\n\n\n
seq_block ::= \/\/ from A.6.3\n<\/em>begin<\/span> [ <\/em>: <\/span>block_identifier ] { block_item_declaration } { statement_or_null }\n<\/em>end<\/span> [ <\/em>:<\/span> block_identifier ]<\/em><\/pre>\n\n\n\n
From this we see a begin\/end<\/code> block can take an optional block_identifier<\/em>, 0 or more {block_item_declaration}<\/em>, followed by 1 or more { statement_or_null }<\/em>. By the way, this BNF rule dictates that declarations must come before any procedural statements. You cannot have declarations in the middle of a set of procedural statements.\u00a0<\/p>\n\n\n\n
Finally, we get down to the parsing of the variable A<\/code>, which matches 3 of the 20 available productions for a statement: a blocking_assignment<\/em>, nonblocking_assignment<\/em>, or an inc_or_dec_expression<\/em>. The next token <=<\/code> only matches one production:<\/p>\n\n\n\n
nonblocking_assignment ::=\nvariable_lvalue <\/em><= <\/span>[ delay_or_event_control ] expression<\/em><\/pre>\n\n\n\n
Compiler Errors<\/h2>\n\n\n\n
Syntax errors occur when the compiler can’t find a match in the BNF for what you wrote in your source code. If you wrote A => B<\/code>, there is no rule in the BNF determining what that is supposed to represent. And it makes it extremely difficult to parse any code after the first syntax error because it has to throw out all the tokens it could not match. The token that follows it could be part of the statement that had the error or could be the start of a new statement. <\/p>\n\n\n\n
Semantic errors come at a later stage when the compiler knows what you wrote, but other rules in the LRM prevent it from being legal. For example, if it turned out that B<\/code> and C<\/code> were class variables, that would be a semantic error and would be reported much later in compilation. Because of parameterization, sometimes the error cannot be generated until the final elaboration of the design.<\/p>\n\n\n\n
\"\"<\/a><\/figure><\/div>\n\n\n\n
DVCon<\/h2>\n\n\n\n
That’s it for just one small aspect of working with SystemVerilog. Hope to meet you on-line at DVCon 2021 when I’ll be chairing a number of sessions and presenting my paper on “The Life of SystemVerilog Variables”.<\/p>\n\n\n\n
Exercise<\/h2>\n\n\n\n
Here is an exercise for you to work on yourself:<\/p>\n\n\n\n
module top;\n  \n  logic A;\n  logic [7:0] B=3;\n  \n  initial begin\n    A = |~B;   \/\/ illegal\n    A = |(~B); \/\/ legal with parenthesis\n    #B;        \/\/ legal\n    #B++;      \/\/ illegal\n    #(B++);    \/\/ legal with parenthesis\n  end\nendmodule\n<\/code><\/pre>\n\n\n\n
Question: Why are the above statements illegal without parentheses made legal by adding ()\u2019s.<\/p>\n\n\n\n
Hint: Start with expression<\/em> and delay_control<\/em> in the BNF.<\/p>\n","protected":false},"excerpt":{"rendered":"
Trying to grasp any programming language from scratch can be a difficult task, especially when you start by reading the…<\/p>\n","protected":false},"author":71689,"featured_media":14674,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"spanish_translation":"","french_translation":"","german_translation":"","italian_translation":"","polish_translation":"","japanese_translation":"","chinese_translation":"","footnotes":""},"categories":[5,7,1],"tags":[442,533,540,690,751,819,831],"industry":[],"product":[205],"coauthors":[],"class_list":["post-15848","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events","category-learning-resources","category-news","tag-dvcon","tag-ieee-1800","tag-ieee-sa","tag-rtl","tag-systemverilog","tag-verification","tag-verilog","product-questa"],"featured_image_url":"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2020\/07\/SystemVerilog-.png","_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/15848","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/users\/71689"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/comments?post=15848"}],"version-history":[{"count":5,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/15848\/revisions"}],"predecessor-version":[{"id":15928,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/15848\/revisions\/15928"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media\/14674"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=15848"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=15848"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=15848"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=15848"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=15848"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=15848"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}