Ghosh, Abhijit, <br/><br/>
Sequential logic testing and verification / 
Abhijit Ghosh, Srinivas Devadas, A. Richard Newton. 
 - Boston :  Kluwer Academic,  c1992. 
 - xv, 214 p. :  ill. ;  24 cm. 
 - The Kluwer international series in engineering and computer science ;  SECS 163 .
<br/><br/>Introduction (Page-1), Sequential Tesst Generation (Page-11), Test Generation Using RTL Descriptions (Page-57), Symbolic FSM Traversal Methods (Page-153),,Sequential Synthesis for Tesability (Page-97), Verification of Sequentila Circuits (Page-123), 
<br/><br/><label>ISBN: </label>0792391888 (alk. paper) 
<br/><br/><label>LCCN: </label>91036094 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer-aided design.<br/>Logic circuits--Testing.<br/>Logic design.
<br/><br/><label>Dewey Class. No.: </label>621.395,GHO