从行为描述到结构描述的自动综合

• Automatic Synthesis From Behavioural Description to Structure Description