Formal verification of hardware design 

 - California  IEEE computer society Press  1990 
 - ix,326p. 
<br/><br/><label>Subjects--Uniform Titles: </label><br/>Hardware Engineering<br/>Computer Aided Design
<br/><br/><label>Dewey Class. No.: </label>621.381952  / Y4F