Levia, Oz Rauillard, Jacques Berge, Jean Michel <br/><br/>
Hardware software co-design and co-verification 

 - BOSTON  KLUWER  1997 
 - 165P 
<br/><br/><label>ISBN: </label>0-7923-9689-8 
<br/><br/><label>Dewey Class. No.: </label>621.391 HAR'B