Wagner, Ilya <br/><br/>
Post-silicon and runtime verification for modern processors  

 - New York :  Springer Science+Business Media,  ©2011. 
 - xvii, 224 p. :  ill. (b&w) ;  24 cm (Paperback) 
<br/><br/>Includes index, 
<br/><br/><label>ISBN: </label>9781489981509 
<br/><br/><label>Subjects--Index Terms: </label>Microprocessors--Design and construction Computer programs--Verification Computer software--Verification Systems engineering Computer-aided design Engineering 
<br/><br/><label>Dewey Class. No.: </label>004.16  / WAG / B