Microwatt is a dependency of libre-soc and therefore it must be documented on the wiki on the HDL_workflow page as it is a dependency like nmigen-* and power_instruction_analyzer. Also Luke will comment below on what needs to be 'de-hackified' and put into a make file.
basically yes, microwatt's unit tests are now a dependency, and it'll need to be installed in a "specific" location that's then known and accessible, in order to run the unit tests. basically the process is: * python3 issuer_verilog.py issuer_verilog.v * copy that to florent/libresoc * ./sim.py --something=somebinary_from_microwatt.bin that last one goes in a Makefile (might as well be in the florent directory, will move it later) where something needs to be added as an option to sim.py *and* there needs to be a way (environment variable, relative path assumption) to *find* those microwatt test binaries.