Automated hardware and fireware design verificationJonathan Ames Humphry · First published 1976Open the Tome