Title: The art of verification with Vera
First published: 2001
Subjects: Application-specific integrated circuits, Testing, Integrated circuits, Programming languages (Electronic computers), OpenVera (Computer hardware verification language)