MASINI MICHELANGELO

Verifying a register-transfer level design of an execution unit