| dc.contributor.advisor | Aas, Einar Johan | nb_NO |
| dc.contributor.author | Kelley, Erik Nathaniel | nb_NO |
| dc.date.accessioned | 2014-12-19T13:46:02Z | |
| dc.date.accessioned | 2015-12-22T11:44:33Z | |
| dc.date.available | 2014-12-19T13:46:02Z | |
| dc.date.available | 2015-12-22T11:44:33Z | |
| dc.date.created | 2010-11-03 | nb_NO |
| dc.date.issued | 2010 | nb_NO |
| dc.identifier | 360563 | nb_NO |
| dc.identifier.uri | http://hdl.handle.net/11250/2370077 | |
| dc.description.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 | nb_NO |
| dc.language | eng | nb_NO |
| dc.publisher | Institutt for elektronikk og telekommunikasjon | nb_NO |
| dc.subject | ntnudaim:5558 | no_NO |
| dc.title | Modern verification methods for AVR | nb_NO |
| dc.type | Master thesis | nb_NO |
| dc.source.pagenumber | 129 | nb_NO |
| dc.contributor.department | Norges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for elektronikk og telekommunikasjon | nb_NO |
