google / google/xls

Want token close-paren; Error in Netlist Interpreter (may be related to VAST)

Open
#419 1 comment 0 reactions 0 assignees View on GitHub
bug documentation
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.