If you have Simics Model Builder product, it includes full source code for the following modules:
riscv-interrupt-controllers.