updated README files

npatsiatzis · Aug 28, 2023 · 59fdf79 · 59fdf79
1 parent 3362fd4
commit 59fdf79
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -13,4 +13,5 @@
 -- Functional verification with methodologies:
 - [cocotb](https://github.com/npatsiatzis/fir/tree/main/cocotb_sim)
 - [pyuvm](https://github.com/npatsiatzis/fir/tree/main/pyuvm_sim)
-- [formal](https://github.com/npatsiatzis/fir/tree/main/formal)
+- [verilator](https://github.com/npatsiatzis/fir/tree/main/verilator_sim)
+- [formal](https://github.com/npatsiatzis/fir/tree/main/formal)