Automatic Synthesis From Behavioural Description to Structure Description

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