Rahul-Kande

does this work? ``` < compile pk > mv mv pk diag.exe rv64_img ```

Hi, We are developing hardware verification tools to detect bugs in RTL designs. In this case, we simulated mor1kx and [or1ksim ](https://github.com/openrisc/or1ksim) with the inputs generated from our tool and...

Hi, Sure. Our work is yet to be published, so I cannot share the tool and its specific details right now. But, once we get our paper out, I can...