Automatic verification of serializers.
Atkinson, Russel Roger.
Automatic verification of serializers. - Cambridge MIT 1980 - 203p - Massachusetts Institue of Technology/Laboratory for Computer Science/TR-229 .
005.7406 / N80
Automatic verification of serializers. - Cambridge MIT 1980 - 203p - Massachusetts Institue of Technology/Laboratory for Computer Science/TR-229 .
005.7406 / N80