RISC micrprocessor verification. - Mitul S. Nagar; Haresh A. Suthar; Chintan Panchal (CoRR, 2020)