
Assertion-based design
by Harry Foster, Harry D. Foster, Adam C. Krolnik, David J. Lacey
Circuits & componentsGeneral Theory of ComputingVerilog (Computer hardware desEngineering - Electrical & ElectronicComputers - General InformationVery large scale integrationVerificationArt
Writing a summary for young readers…
For young readers
Book data: Open Library