An Assembler Driven Verification Methodology (ADVM). - John S. MacBeth; Dietmar Heinz; Ken Gray (DATE, 2004)