SystemVerilog LRM 3.1a 中的红色文本表示什么？
What does the red text in SystemVerilog LRM 3.1a signify?
我正在寻找 SystemVerilog LRM 3.1a 中红色文本所代表含义的公认定义。大多数情况下，我可以凭直觉知道红色文字的含义。然而，当我去寻找关于格式含义的正式声明时，却找不到。这就引出了这个问题的第二部分。哪个 Accelera 文档指定了 LRM 中使用的不同格式和语义？
SystemVerilog 的 3.1a LRM 非常过时，请使用 IEEE Std 1800-2012。
来自IEEE Std 1800-2012中的附件A（正式语法）：
The formal syntax of SystemVerilog is described using Backus-Naur Form (BNF). The syntax of SystemVerilog source is derived from the starting symbol source_text. The syntax of a library map file is derived from the starting symbol library_text. The conventions used are as follows:
— Keywords and punctuation are in bold-red text.
— Syntactic categories are named in nonbold text.
— A vertical bar ( | ) separates alternatives.
— Square brackets ( [ ] ) enclose optional items.
— Braces ( { } ) enclose items that can be repeated zero or more times.
3.1a LRM 使用相同的语法格式。语法描述（也是 3.1a 的附件 A（正式语法））说 "Keywords and punctuation are in bold text" 带有红色粗体字，因此 3.1a 表示 bold-red 不是粗体。
我正在寻找 SystemVerilog LRM 3.1a 中红色文本所代表含义的公认定义。大多数情况下，我可以凭直觉知道红色文字的含义。然而，当我去寻找关于格式含义的正式声明时，却找不到。这就引出了这个问题的第二部分。哪个 Accelera 文档指定了 LRM 中使用的不同格式和语义？
SystemVerilog 的 3.1a LRM 非常过时，请使用 IEEE Std 1800-2012。
来自IEEE Std 1800-2012中的附件A（正式语法）：
The formal syntax of SystemVerilog is described using Backus-Naur Form (BNF). The syntax of SystemVerilog source is derived from the starting symbol source_text. The syntax of a library map file is derived from the starting symbol library_text. The conventions used are as follows:
— Keywords and punctuation are in bold-red text.
— Syntactic categories are named in nonbold text.
— A vertical bar ( | ) separates alternatives.
— Square brackets ( [ ] ) enclose optional items.
— Braces ( { } ) enclose items that can be repeated zero or more times.
3.1a LRM 使用相同的语法格式。语法描述（也是 3.1a 的附件 A（正式语法））说 "Keywords and punctuation are in bold text" 带有红色粗体字，因此 3.1a 表示 bold-red 不是粗体。