Skip to content

Formal methods for VLSI design

by J. Staunstrup

Cover of Formal methods for VLSI design

No description available.

Very large scale integrationTestingComputer-aided designIntegrated circuitsDesign and constructionData processing