Early January Hack - Practical RISC-V Random Test Generation using Constraint Programming

As hinted in my previous blog post, here is the presentation I did for RISC-V workshop :



I will not release the test generator quite yet. The method I chose to input the problem to the constraint solver is too verbose.  I am already looking at an alternative solution using Python introspection and or-tools from Google.

I do have a patch for spike to allow the tool to be controlled from a different process.  I can release that if there is interest.