The ACM Computing Classification System (1998) B.1.4 Microprogram Design Aids Firmware engineering [**] Languages and compilers Machine-independent microcode generation [**] Optimization Verification [**]