The ACM Computing Classification System (1998)

B.6.3 Design Aids

• Automatic synthesis
• Hardware description languages
• Optimization
• Simulation
• Switching theory
• Verification