- Design provides the name of the output log. Default is synth.
-`FREQ`
- Frequency in MHz. Default is 500
-`CONFIG`
- The Wally configuration file. The default is rv32e.
- Examples: rv32e, rv64gc, rv32gc
-`TECH`
- The target standard cell library. The default is sky130.
- Options:
- sky90: skywater 90nm TT 25C
- sky130: skywater 130nm TT 25C
-`SAIFPOWER`
- Controls if power analysis is driven by switching factoror RTL modelsim simulation. When enabled requires a saif file named power.saif. The default is 0.
**WARNING:** The first option may runs lots of runs that could expend all the licenses available for a license. Therefore, care must be taken to be sure that enough licenses are available for this first option.