Formal hardware verification
by Thomas Kropf, Gerhard Goos, Juris Hartmanis
Very large scale integrationFormal methods (Computer science)Computer-aided designVerificationIntegrated circuitsIntegrated circuits, very large scale integrationComputer input-output equipmentFormal languages
Writing a summary for young readers…
For young readers
Book data: Open Library