Modern verification methods for AVR
Abstract
A litteratur study of the Verification methodology manual and a study of which possibilities this methodology gives and how applicable it is for use in Atmel's future module and chip projects. Afterwards VMM shall be apllied to verify a module from atmel