Login / Signup
Verification and validation of Atmel's new 32 bit AVR microprocessor.
Øyvind Strøm
Published in:
MBMV (2006)
Keyphrases
</>
functional verification
model checking
design methodology
face verification
formal verification
person identification
special purpose hardware
floating point
signature verification
model validation
instruction set architecture
circuit design
block cipher