Assertion-based design

by Harry Foster, Harry D. Foster, Adam C. Krolnik, David J. Lacey

Integrated circuitsVery large scale integrationVerificationVerilog (Computer hardware description language)Design and constructionGeneral Theory of ComputingLogic DesignTechnology

For young readers

Book data: Open Library