From 212d7a53badd20c261ba6f21c2d145503c238099 Mon Sep 17 00:00:00 2001 From: lkcl Date: Mon, 8 Nov 2021 21:50:44 +0000 Subject: [PATCH] --- crypto_router_asic.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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, -- 2.30.2