Atkinson, Russel Roger. <br/><br/>
Automatic verification of serializers.   

 - Cambridge  MIT  1980 
 - 203p 
 - Massachusetts Institue of Technology/Laboratory for Computer Science/TR-229 .
<br/><br/><label>Dewey Class. No.: </label>005.7406  / N80