Practical formal methods for hardware design
by Carlos Delgado Kloos, Werner Damm
Logic circuitsMethodologyComputer hardware description languagesDigital integrated circuitsFormal methods (Computer science)Design and constructionComputer input-output equipment
Writing a summary for young readers…
For young readers
Book data: Open Library