Harry D. FosterBooksAssertion-based designAssertion-based designPrinciples of verifiable RTL designAuthor data: Open Library