An Assembler Driven Verification Methodology (ADVM)

John S. Macbeth (1) , Dietmar Heinz (2) , Ken Gray (1)

1 Verilab GmbH
2 Infineon Technologies AG [München]

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 refactoring. As a consequence, considerable verification development time and effort was saved.

Domaines: Architectures Matérielles [cs.AR]; Electronique

John S. Macbeth, Dietmar Heinz, Ken Gray. An Assembler Driven Verification Methodology (ADVM). DATE'05, Mar 2005, Munich, Germany. pp.278-283. ⟨hal-00181862⟩