SystemVerilog LRM 3.1a中的紅色文本是什麼意思？

Question

我正在尋找SystemVerilog LRM 3.1a中紅色文本所代表的可接受定義。我可以直觀地看到紅色文本的含義。但是，當我尋找格式化的正式聲明時，我找不到一個。這引出了這個問題的第二部分。 Accelera文檔指定了LRM中使用的不同格式和語義？

Answer 1

對於SystemVerilog 3.1a LRM是非常過時的，使用IEEE Std 1800-2012。

從附錄A（正式語法）在IEEE Std 1800-2012：

的SystemVerilog的正式語法被使用巴科斯範式（BNF）所述。 SystemVerilog源的語法是從起始符號source_text派生的。庫映射文件的語法是從起始符號library_text派生的。使用的約定如下：
- 關鍵字和標點符號在加粗紅文本。
- 語法類別以nonbold文本命名。
- 垂直條（|）分隔替代品。
- 方括號（[]）包含可選項目。
- 大括號（{}）包含可以重複零次或多次的項目。

3.1a LRM使用相同的語法格式。對於3.1a）的語法描述（也就是3.1a）的附錄A（形式語法））說「關鍵詞和標點符號在粗體文本」中，用紅色字加粗，所以3.1a表示粗體紅色不粗體。