Introduction to Formal Hardware Verification
by Thomas Kropf
Very large scale integrationComputer-aided designVerificationIntegrated circuitsComputer input-output equipment
Writing a summary for young readers…
For young readers
Book data: Open Library