diff --git a/README.md b/README.md
index 7e3e1b2..9b85140 100644
--- a/README.md
+++ b/README.md
@@ -60,7 +60,7 @@ TOPMODULE=mkTop make v_compile
  - [ ] debug UART accuracy
        - clk divider should be frequency matched
  - [ ] move to JoyOfHardware
- - [ ] port in [PPC_Formal](https://github.com/JoyOfHardware/PPC_Formal)
+ - [ ] port in [RiscV-Formal](https://git.joyofhardware.com/Yehowshua/RiscV-Formal)
       - [ ] create I and D caches
       - [ ] try to optimize decoder