Title :
An assembler driven verification methodology (ADVM)
Abstract :
This paper presents an overview of an assembler driven verification methodology (ADVM) that was created and implemented for a chip card project at Infineon Technologies AG. The primary advantage of this methodology is that it enables rapid porting of directed tests to new targets and derivatives, with only a minimum amount of code re-factoring. As a consequence, considerable verification development time and effort was saved.
Keywords :
formal verification; system-on-chip; ADVM; Infineon Technologies AG; SoC; assembler driven verification methodology; chip card project; code re-factoring; directed tests; rapid porting; system-on-chip; Assembly; Automatic testing; Embedded software; Emulation; Hardware design languages; Microprocessors; Programming; Silicon; Software testing; System-on-a-chip;
Conference_Titel :
Design, Automation and Test in Europe, 2005. Proceedings
Print_ISBN :
0-7695-2288-2
DOI :
10.1109/DATE.2005.52
