Formalization and automated synthesis of microprogram

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