The ACM Computing Classification System (1991)

B.1.4 Microprogram Design Aids

• Firmware engineering
• Languages and compilers
• Machine-independent microcode generation
• Optimization
• Verification