Douglas L. PerryBooksApplied formal verificationApplied formal verificationVHDLAuthor data: Open Library