link sysHello.vexe sysHello -D foo -D bar=128 -y . -y BLUESPECDIR/Libraries -y BLUESPECDIR/Verilog BLUESPECDIR/Verilog/main.v sysHello.v
Verilog binary file created: sysHello.vexe