Development and verification environment for the mor1kx core