RISC-V Models for Verification, Software Development and Architectural Exploration