Actions
Bug #9213
closedru.ispras.verilog.parser.VerilogTexas97TestCase.runTest_PPC60X_bus_src_arbiter: Module 'ArbiterStatus' cannot be found
Start date:
08/11/2018
Due date:
% Done:
0%
Estimated time:
Detected in build:
master
Platform:
Published in build:
Description
Module name: arb2 Including file '/home/ssedai/projects/veritrans/src/test/verilog/texas97-tests/PPC60X_bus/src/arbiter.v' ... /home/ssedai/projects/veritrans/src/test/verilog/texas97-tests/PPC60X_bus/src/arbiter.v line 60:15 mismatched input 'reg' expecting LPAREN ru/ispras/verilog/parser/grammar/VerilogTreeBuilder.g: node from after line 60:1 required (...)+ loop did not match anything at input 'reg' ru/ispras/verilog/parser/grammar/VerilogTreeBuilder.g: node from after line 60:1 mismatched tree node: UP expecting AST_ATTRIBUTES Starting the backend 'static-checker'... Instance: null Declaration of 'clk[]' has been found: DECLARATION(clk) Declaration of 'BR1_[]' has been found: DECLARATION(BR1_) Declaration of 'BR2_[]' has been found: DECLARATION(BR2_) Declaration of 'BG1_[]' has been found: DECLARATION(BG1_) Declaration of 'BG2_[]' has been found: DECLARATION(BG2_) Declaration of 'TS_[]' has been found: DECLARATION(TS_) Declaration of 'AACK_[]' has been found: DECLARATION(AACK_) Declaration of 'ARTRY_[]' has been found: DECLARATION(ARTRY_) Declaration of 'DBG1_[]' has been found: DECLARATION(DBG1_) Declaration of 'DBG2_[]' has been found: DECLARATION(DBG2_) Declaration of 'clk[]' has been found: DECLARATION(clk) Declaration of 'BR1_[]' has been found: DECLARATION(BR1_) Declaration of 'BR2_[]' has been found: DECLARATION(BR2_) Declaration of 'BG1_[]' has been found: DECLARATION(BG1_) Declaration of 'BG2_[]' has been found: DECLARATION(BG2_) Declaration of 'TS_[]' has been found: DECLARATION(TS_) Declaration of 'AACK_[]' has been found: DECLARATION(AACK_) Declaration of 'ARTRY_[]' has been found: DECLARATION(ARTRY_) Declaration of 'DBG1_[]' has been found: DECLARATION(DBG1_) Declaration of 'DBG2_[]' has been found: DECLARATION(DBG2_) Starting the backend 'printer'... module arb2(.clkclk /* DECL: clk */, .BR1_BR1_ /* DECL: BR1_ */, .BR2_BR2_ /* DECL: BR2_ */, .BG1_BG1_ /* DECL: BG1_ */, .BG2_BG2_ /* DECL: BG2_ */, .TS_TS_ /* DECL: TS_ */, .AACK_AACK_ /* DECL: AACK_ */, .ARTRY_ARTRY_ /* DECL: ARTRY_ */, .DBG1_DBG1_ /* DECL: DBG1_ */, .DBG2_DBG2_ /* DECL: DBG2_ */, clk /* DECL: clk */, BR1_ /* DECL: BR1_ */, BR2_ /* DECL: BR2_ */, BG1_ /* DECL: BG1_ */, BG2_ /* DECL: BG2_ */, TS_ /* DECL: TS_ */, AACK_ /* DECL: AACK_ */, ARTRY_ /* DECL: ARTRY_ */, DBG1_ /* DECL: DBG1_ */, DBG2_ /* DECL: DBG2_ */); input clk; input BR1_; input BR2_; output BG1_; output BG2_; input TS_; input AACK_; input ARTRY_; output DBG1_; output DBG2_; wire bus_request; /* DECL: null */ ArbiterStatus null ( ); endmodule Starting the backend 'design-elaborator'... Expanding node 'MODULE(arb2)'... Bindings: {clk=clk, BR1_=BR1_, BR2_=BR2_, BG1_=BG1_, BG2_=BG2_, TS_=TS_, AACK_=AACK_, ARTRY_=ARTRY_, DBG1_=DBG1_, DBG2_=DBG2_, bus_request=bus_request} Variables: {clk=DECLARATION(clk), BR1_=DECLARATION(BR1_), BR2_=DECLARATION(BR2_), BG1_=DECLARATION(BG1_), BG2_=DECLARATION(BG2_), TS_=DECLARATION(TS_), AACK_=DECLARATION(AACK_), ARTRY_=DECLARATION(ARTRY_), DBG1_=DECLARATION(DBG1_), DBG2_=DECLARATION(DBG2_), bus_request=DECLARATION(bus_request)} Module 'ArbiterStatus' cannot be found
To reproduce the bug, uncomment the runTest_PPC60X_bus_src_arbiter method in ru.ispras.verilog.parser.VerilogTexas97TestCase and run it.
Updated by Alexander Kamkin over 6 years ago
- Status changed from New to Rejected
Incorrect Verilog code.
Actions