diff --git a/verif/bin/Readme.md b/verif/bin/Readme.md
new file mode 100644
index 0000000..fd40c39
--- /dev/null
+++ b/verif/bin/Readme.md
@@ -0,0 +1,16 @@
+# Pre-build SAIL RISC-V Model Binaries
+
+SAIL RISC-V is the Golden reference model simulator for the formal specification of the RISC-V Architecture. The binaries are build by following the [instructions](https://riscof.readthedocs.io/en/stable/installation.html#install-plugin-models) available in RISCOF documentation. 
+
+These binaries are build for both 32-bit and 64-bit architecture:
+
+- `riscv_sim_RV32`
+- `riscv_sim_RV64`
+
+> :warning: SAIL model binaries must be available in the `$PATH` variable. To do that:
+- Extract `sail-riscv.tar.gz` using
+        
+        tar -xzf sail-riscv.tar.gz sail-riscv
+- Binaries will be extracted in the directory named `sail-riscv`. Export the path of this directory to `$PATH` variable
+
+        export PATH=/path/to/sail-riscv:$PATH
\ No newline at end of file
diff --git a/verif/bin/sail-riscv.tar.gz b/verif/bin/sail-riscv.tar.gz
new file mode 100644
index 0000000..b6418b9
Binary files /dev/null and b/verif/bin/sail-riscv.tar.gz differ