Login or sign up Lost password?
Login or sign up
ABSTRACT: In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications.