/scripts/
../
icestorm
smt2-bmc
vivado
yosys