diff --git a/extern/axicheck.v b/docs/examples/demos/axicheck.v
similarity index 100%
rename from extern/axicheck.v
rename to docs/examples/demos/axicheck.v
diff --git a/extern/picorv32.v b/docs/examples/demos/picorv32.v
similarity index 100%
rename from extern/picorv32.v
rename to docs/examples/demos/picorv32.v
diff --git a/docs/examples/demos/picorv32_axicheck.sby b/docs/examples/demos/picorv32_axicheck.sby
index 61b471a..a908cae 100644
--- a/docs/examples/demos/picorv32_axicheck.sby
+++ b/docs/examples/demos/picorv32_axicheck.sby
@@ -20,6 +20,6 @@ read_verilog -formal axicheck.v
 prep -top testbench
 
 [files]
-picorv32.v ../../../extern/picorv32.v
-axicheck.v ../../../extern/axicheck.v
+picorv32.v
+axicheck.v
 
diff --git a/tests/unsorted/prv32fmcmp.sby b/tests/unsorted/prv32fmcmp.sby
index bd4e096..ce7367b 100644
--- a/tests/unsorted/prv32fmcmp.sby
+++ b/tests/unsorted/prv32fmcmp.sby
@@ -17,5 +17,5 @@ read -sv prv32fmcmp.v
 prep -top prv32fmcmp
 
 [files]
-../../extern/picorv32.v
+../../docs/examples/demos/picorv32.v
 prv32fmcmp.v