Formal methods for VLSI designde J. StaunstrupMateriasVery large scale integrationTestingComputer-aided designIntegrated circuitsDesign and constructionData processingEdiciones (1)Formal methods for VLSI design (1990)North-Holland · inglésMás obras de J. StaunstrupProgram specificationHardware/software co-designSSelf-timed designSelf-timed design