微程序的形式化和自动综合

• Formalization and automated synthesis of microprogram