TBG make testbench name configurable by command line
Problem to solve
Reduce amout of manual work when regenerating testbench with TBG.
Target audience
Further details
TBG is generating a module named <MODULE_NAME>_test
.
For the formal fault injections it is convenient to be able to define the name of the top level module.
Proposal
Add a switch to configure the name of the testbench e.g.
tbg my_awsome_module.v --tb_name tb > tb.v
which would result in
module tb;
[...]
endmodule
What does success look like, and how can we measure that?
Proposal implemented