The art of verification with Vera /

Bibliographic Details
Main Author:	Imdad-Haque, Faisal, 1960-
Other Authors:	Khan, Khizar A., Michelson, Jonathan
Format:	Book
Language:	English
Published:	Fremont, Calif. : Verification Central, 2001.
Subjects:	Application-specific integrated circuits > Testing. Integrated circuits > Testing. Programming languages (Electronic computers)

Evans: Library Stacks