Verification Integrated circuits 78 Computer software 54 Testing 18 Validation 16 Computer systems 13 Design and construction 13 Data processing 12 Formal methods (Computer science) 12 Verilog (Computer hardware description language) 12 Computer programs 11 Computer-aided design 11 Computer hardware description languages 10 Software engineering 9 Systems on a chip 9 Embedded computer systems 7 Quality control 6 Compilers (Computer programs) 5 LOTOS (Computer program language) 5 Petri nets 5 Real-time data processing 5 UML (Computer science) 5 Application specific integrated circuits 4 C++ (Computer program language) 4 Electronic circuit design 4 Electronic circuits 4 Nuclear arms control 4 Object-oriented programming (Computer science) 4 Reliability 4 System design 4