在verilog中保留chisel中的注释

How to decipher comments in generated Verilog from chisel?

These are source locators and will show up in generated FIRRTL or Verilog. These tell you what line in a source file (Chisel or FIRRTL) was used to generate a specific line in the downstream FIRRTL or Verilog.

The format is generally: @[<file> <line>:<column> ...]

More than one source locator may be present.

Example

Consider the following example pulled from the BoringUtilsSpec. The line numbers (which do not start at zero as this was extracted from a larger file) are shown along with the column numbers. You can see how things line up between them. For example, the declaration of notA happens on line 27 column 20 and the assignment notA := ~a happens on line 30, column 10. You see 27:20 and 30:10 show up in the FIRRTL. In the Verilog, these get merged somewhat and you wind up with source locators indicating both 27:20 and 30:10:

scala 复制代码
// -------------------------------------------+----+
// File: BoringUtilsSpec.scala                |    |
// -------------------------------------------+----+
// Column Number                              |    |
// -------------------------------------------+----+
//           1         2         3         4  |    |
// 01234567890123456789012345678901234567890  |    |
// -------------------------------------------+----|
     class BoringInverter extends Module { // | 24 | Line Number
       val io = IO(new Bundle{})           // |  5 |
       val a = Wire(UInt(1.W))             // |  6 |
       val notA = Wire(UInt(1.W))          // |  7 |
       val b = Wire(UInt(1.W))             // |  8 |
       a := 0.U                            // |  9 |
       notA := ~a                          // | 30 |
       b := a                              // |  1 |
       chisel3.assert(b === 1.U)           // |  2 |
       BoringUtils.addSource(notA, "x")    // |  3 |
       BoringUtils.addSink(b, "x")         // |  4 |
     }                                     // |  5 |
// -------------------------------------------+----+

This produces the following FIRRTL:

复制代码
module BoringUtilsSpecBoringInverter : 
  input clock : Clock
  input reset : UInt<1>
  output io : {}

  wire a : UInt<1> @[BoringUtilsSpec.scala 26:17]
  wire notA : UInt<1> @[BoringUtilsSpec.scala 27:20]
  wire b : UInt<1> @[BoringUtilsSpec.scala 28:17]
  a <= UInt<1>("h00") @[BoringUtilsSpec.scala 29:7]
  node _T = not(a) @[BoringUtilsSpec.scala 30:13]
  notA <= _T @[BoringUtilsSpec.scala 30:10]
  b <= a @[BoringUtilsSpec.scala 31:7]
  node _T_1 = eq(b, UInt<1>("h01")) @[BoringUtilsSpec.scala 32:22]
  node _T_2 = bits(reset, 0, 0) @[BoringUtilsSpec.scala 32:19]
  node _T_3 = or(_T_1, _T_2) @[BoringUtilsSpec.scala 32:19]
  node _T_4 = eq(_T_3, UInt<1>("h00")) @[BoringUtilsSpec.scala 32:19]
  // assert not shown

And the following Verilog:

复制代码
module BoringUtilsSpecBoringInverter(
  input   clock,
  input   reset
);
  wire  _T; // @[BoringUtilsSpec.scala 30:13]
  wire  notA; // @[BoringUtilsSpec.scala 27:20 BoringUtilsSpec.scala 30:10]
  wire  _T_3; // @[BoringUtilsSpec.scala 32:19]
  wire  _T_4; // @[BoringUtilsSpec.scala 32:19]
  assign _T = 1'h1; // @[BoringUtilsSpec.scala 30:13]
  assign notA = 1'h1; // @[BoringUtilsSpec.scala 27:20 BoringUtilsSpec.scala 30:10]
  assign _T_3 = _T | reset; // @[BoringUtilsSpec.scala 32:19]
  assign _T_4 = _T_3 == 1'h0; // @[BoringUtilsSpec.scala 32:19]
  // assert not shown
endmodule

These are source locators and will show up in generated FIRRTL or Verilog. These tell you what line in a source file (Chisel or FIRRTL) was used to generate a specific line in the downstream FIRRTL or Verilog.

The format is generally: @[ : ...]

More than one source locator may be present.

Example

Consider the following example pulled from the BoringUtilsSpec. The line numbers (which do not start at zero as this was extracted from a larger file) are shown along with the column numbers. You can see how things line up between them. For example, the declaration of notA happens on line 27 column 20 and the assignment notA := ~a happens on line 30, column 10. You see 27:20 and 30:10 show up in the FIRRTL. In the Verilog, these get merged somewhat and you wind up with source locators indicating both 27:20 and 30:10:

// -------------------------------------------±---+

// File: BoringUtilsSpec.scala | |

// -------------------------------------------±---+

// Column Number | |

// -------------------------------------------±---+

// 1 2 3 4 | |

// 01234567890123456789012345678901234567890 | |

// -------------------------------------------±---|

class BoringInverter extends Module { // | 24 | Line Number

val io = IO(new Bundle{}) // | 5 |

val a = Wire(UInt(1.W)) // | 6 |

val notA = Wire(UInt(1.W)) // | 7 |

val b = Wire(UInt(1.W)) // | 8 |

a := 0.U // | 9 |

notA := ~a // | 30 |

b := a // | 1 |

chisel3.assert(b === 1.U) // | 2 |

BoringUtils.addSource(notA, "x") // | 3 |

BoringUtils.addSink(b, "x") // | 4 |

} // | 5 |

// -------------------------------------------±---+

This produces the following FIRRTL:

module BoringUtilsSpecBoringInverter :

input clock : Clock

input reset : UInt<1>

output io : {}

wire a : UInt<1> @[BoringUtilsSpec.scala 26:17]

wire notA : UInt<1> @[BoringUtilsSpec.scala 27:20]

wire b : UInt<1> @[BoringUtilsSpec.scala 28:17]

a <= UInt<1>("h00") @[BoringUtilsSpec.scala 29:7]

node _T = not(a) @[BoringUtilsSpec.scala 30:13]

notA <= _T @[BoringUtilsSpec.scala 30:10]

b <= a @[BoringUtilsSpec.scala 31:7]

node _T_1 = eq(b, UInt<1>("h01")) @[BoringUtilsSpec.scala 32:22]

node _T_2 = bits(reset, 0, 0) @[BoringUtilsSpec.scala 32:19]

node _T_3 = or(_T_1, _T_2) @[BoringUtilsSpec.scala 32:19]

node _T_4 = eq(_T_3, UInt<1>("h00")) @[BoringUtilsSpec.scala 32:19]

// assert not shown

And the following Verilog:

module BoringUtilsSpecBoringInverter(

input clock,

input reset

);

wire _T; // @[BoringUtilsSpec.scala 30:13]

wire notA; // @[BoringUtilsSpec.scala 27:20 BoringUtilsSpec.scala 30:10]

wire _T_3; // @[BoringUtilsSpec.scala 32:19]

wire _T_4; // @[BoringUtilsSpec.scala 32:19]

assign _T = 1'h1; // @[BoringUtilsSpec.scala 30:13]

assign notA = 1'h1; // @[BoringUtilsSpec.scala 27:20 BoringUtilsSpec.scala 30:10]

assign _T_3 = _T | reset; // @[BoringUtilsSpec.scala 32:19]

assign _T_4 = _T_3 == 1'h0; // @[BoringUtilsSpec.scala 32:19]

// assert not shown

endmodule

Caveats

Generator Bootcamp

If you are running this in the Chisel Bootcamp Jupyter Notebook or through an sbt console/REPL, the source locators may not make as much sense as there really isn't a file here with lines.

Difference with Annotation

These source locators are not Annotations, in case anyone has come across that name.

Annotations are metadata associated with circuit components. Source locators (which map to Info in the FIRRTL IR) are associated with specific statements in some source file. Under the hood they're just strings that get generated and then copied around. There is no guarantee that source locators will be preserved---they may be changed or deleted arbitrarily. Conversely, Annotations are preserved and renamed across transformations and have strong guarantees on how they behave.

Consequently, do not rely on source locators for anything other than an aid if you need to debug the Chisel or FIRRTL compiler stages.

相关推荐
边缘计算社区6 分钟前
FPGA与边缘AI:计算革命的前沿力量
人工智能·fpga开发
S&Z346326 分钟前
[官方IP] Shift RAM
网络协议·tcp/ip·fpga开发
S&Z34633 小时前
[FPGA Video IP] Video Processing Subsystem
网络协议·tcp/ip·fpga开发·video
FPGA_Linuxer8 小时前
FPGA 100G UDP纯逻辑协议栈
网络协议·fpga开发·udp
Terasic友晶科技1 天前
第13篇:Linux程序访问控制FPGA端Switch<二>
fpga开发·嵌入式系统·de1-soc开发板
cjie2211 天前
FWFT_FIFO和Standard_FIFO对比仿真
fpga开发
9527华安1 天前
国产紫光同创FPGA实现SDI视频编解码,基于HSSTHP高速接口,提供3套工程源码和技术支持
fpga开发·紫光同创·sdi·高速接口·hssthp
hahaha60161 天前
ARINC818协议一些说明综述
fpga开发
_Hello_Panda_1 天前
FX10(CYUSB4014)USB3.2(10Gbps)开发笔记分享(1):硬件设计与开发环境搭建
笔记·fpga开发·fx10·cyusb4014
FakeOccupational1 天前
fpga系列 HDL:tips 初始化错误排查 & 仿真和实际不符的可能原因
fpga开发