Integrated circuits Verification Testing 5 Design and construction 4 Microprocessors 4 Systems on a chip 4 Digital integrated circuits 3 Computer-aided design 2 Data processing 2 Formal methods (Computer science) 2 Mathematics 2 Very large scale integration 2 Application specific integrated circuits 1 Computer simulation 1 Hardware description languages 1 Logic design 1 Sequential machine theory 1 Switching circuits 1