python3 -m manta gen manta.yaml manta.v mkdir -p build/ $VIVADO -mode batch -source build.tcl