(no commit message)
authorlkcl <lkcl@web>
Mon, 8 Nov 2021 21:50:44 +0000 (21:50 +0000)
committerIkiWiki <ikiwiki.info>
Mon, 8 Nov 2021 21:50:44 +0000 (21:50 +0000)
crypto_router_asic.mdwn

index cb5bb2c35d76b5f35b5565eb758acc147332d242..b9a991b242c7ba4b03ee5f66ccc1057fa1916702 100644 (file)
@@ -54,7 +54,7 @@ These may be achieved as follows:
   Example [bpermd proof](https://git.libre-soc.org/?p=soc.git;a=blob;f=src/soc/fu/logical/formal/proof_bpermd.py;hb=HEAD)
   and individual unit tests for the
   [Logical pipeline](https://git.libre-soc.org/?p=soc.git;a=blob;f=src/soc/fu/logical/test/test_pipe_caller.py;hb=HEAD)
-* [Litex sim.py](https://git.libre-soc.org/?p=libresoc-litex.git;a=blob;f=sim.py;hb=HEAD)
+* simulation
   with some peripherals developed in c++ as verilator modules
 * nmigen-based OpenPOWER Libre-SOC core co-simulation such as
   this unit test,