Home›Books›Formal methods for VLSI designFormal methods for VLSI designby J. StaunstrupNo description available.Very large scale integrationTestingComputer-aided designIntegrated circuitsDesign and constructionData processing