search

RobertBaruch / nmigen-tutorial

A tutorial for using nmigen
Creative Commons Attribution Share Alike 4.0 International
303 stars 34 forks source link

exclude formal verification #9

Closed yrabbit closed 4 years ago

yrabbit commented 4 years ago

How to conditionally exclude the formal verification constructions? In verilog I do:

 `ifdef FORMAL
...
 `endif
RobertBaruch commented 4 years ago

You could add an argument to main and then use an if.