Due to the highly permissive nature of the RISC-V ISA, manually writing high quality architectural compatibility tests is infeasible. This tool models tests as a set of constraint satisfcation problems(CSP) in finite domain using the architectural fields as variables and coverage goals as constraints. The solutions to these problems are found using CSP solvers and converted into RISC-V assembly programs using handwritten templates.