Formal methods in circuit design
by V. Stavridou
Very large scale integrationIntegrated circuitsTestingComputer-aided designData processingComputers, circuitsComputersCircuits
Writing a summary for young readers…
For young readers
Book data: Open Library