Digital integrated circuits Integrated circuits Design and construction 6 Testing 4 Very large scale integration 4 Mathematics 3 Verification 3 Computer-aided design 2 Electronic circuits 2 Formal methods (Computer science) 2 Linear integrated circuits 2 Computer algorithms 1 Computer architecture 1 Data processing 1 Digital techniques 1 Fault tolerance 1 Hardware description languages 1 Logic design 1 Mathematical models 1 Metal oxide semiconductors, Complementary 1 Mixed signal circuits 1 Semiconductor storage devices 1 Signal processing 1 Transformations (Mathematics) 1