Jones, Robert B O'Leary, John W Seger, Carl-Johan H <br/><br/>
Practical  for mal Verification in Microprocessor Design 

 - 16-25 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Appropriate Methodology<br/>Data-Path-Dominated Hardware<br/> for mal Methods