TY  - SER
AU  - Jones, Robert B
AU  - O'Leary, John W
AU  - Seger, Carl-Johan H
TI  - Practical  for mal Verification in Microprocessor Design
KW  - Appropriate Methodology
KW  - Data-Path-Dominated Hardware
KW  -  for mal Methods
ER  -