README: mention verif and how to generate an iset to use it

Signed-off-by: Matheus Tavares Bernardino <[email protected]>

Author: quic-mathbern

README.md

@@ -61,6 +61,12 @@ A comprehensive collection of 60+ system-level tests for the Hexagon Standalone
 
 HVX (Hexagon Vector eXtensions) example programs demonstrating vector processing capabilities.
 
+### Verif QEMU Hexagon
+
+"This is a quick-n-dirty project to demonstrate a way to compare execution
+between QEMU and ISS." The project is located inside the `verif-hexagon`
+directory, together with instructions on how to use it.
+
 ## Usage
 
 

verif-hexagon/README.md

@@ -12,10 +12,20 @@ Inspired by research from Hyunsik Jeong at [KAIST](https://en.wikipedia.org/wiki
 
 ## Usage
 
+First, you will need an `iset.py` file with the instruction semantics. By
+default, verif will use one from the `/prj` NFS path at Qualcomm machines. If
+you are not connected to Qualcomm network, though, you can use the synthetic
+`iset.py` that is generated as part of the QEMU-hexagon build at
+`<BUILDDIR>/target/hexagon/iset.py`.
+
 For an extensive test, with default parameters, run:
 
     ./packet_verif verif
 
+If you have a custom iset file, use:
+
+    ./packet_verif verif --iset <ISET_PATH>
+
 For more customization options, check:
 
     ./packet_verif verif --help