微程序验证

【计】 microprogram validation

微的英语翻译：

decline; profound; tiny
【计】 mic-; micro-
【医】 micr-; micro-; mikro-; mu

程序验证的英语翻译：

【计】 routine verification