From: lkcl <lkcl@web>
Date: Mon, 8 Nov 2021 21:50:44 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~3448
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=212d7a53badd20c261ba6f21c2d145503c238099;p=libreriscv.git

---

diff --git a/crypto_router_asic.mdwn b/crypto_router_asic.mdwn
index cb5bb2c35..b9a991b24 100644
--- a/crypto_router_asic.mdwn
+++ b/crypto_router_asic.mdwn
@@ -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,