Want token close-paren; Error in Netlist Interpreter (may be related to VAST)
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
When using the verilog file:
```
module aa(
input wire clk,
output wire [31:0] out
);
// ===== Pipe stage 0:
wire [31:0] p0_literal_1_comb;
assign p0_literal_1_comb = 32'h0000_0001;
// Registers for pipe stage 0:
reg [31:0] p0_literal_1;
always_ff @ (posedge clk) begin
p0_literal_1 <= p0_literal_1_comb;
end
assign out = p0_literal_1;
endmodule
```
I receive the following error.
```
F0502 19:53:11.853288 1026329 netlist_interpreter_main.cc:170] Check failed: ::absl::OkStatus() == (xls::RealMain(netlist_path, cell_library_path, cell_library_proto_path, module_name, inputs, output_type, dump_cells)) (OK vs. UNIMPLEMENTED: Want token close-paren; got Token{kName, @2:9, "wire"}.)
```
The error is referring to the line containing:
```
input wire clk,
```
I suspect the following line will also fail.
```
output wire [31:0] out
```
The commandline is:
```
bazel run //xls/tools:netlist_interpreter_main -- --cell_library=$PWD/cells.lib --netlist=$PWD/a.v --module_name=aa --input="high"
```
The contents of cells.lib does not seem relevant to the error.
This bug is related to: https://github.com/google/xls/issues/418
Contributor guide
Assessment
This issue has not been assessed yet.