Actual instructions being developed (bitmanip) may therefore be
unit tested prior to deployment. Following that, rapid simulations
-may be achieved by running Litex (the same HDL may also easily
+may be achieved by running ls2 (the same HDL may also easily
be uploaded to an FPGA). When it comes to Place-and-Route of the
ASIC, the cocotb simulations may be used to verify that the GDS-II
layout has not been "damaged" by the PnR tools.