| 摘要： | 自动数字电路设计装置接收用设计描述语言书写的控制目标模型，形成有限状态机器模型代替控制目标模型，存储形成的控制目标模型，接收用设计描述语言写的控制规格模型。形成被有限状态机器模型代替的规格模型，存储形成的控制规格模型，通过组合生成的控制目标模型和生成的控制规格模型生成控制设备的综合模型，计算控制仿真关系，存储计算的可控仿真关系，决定控制设备的规格模型是否是能够提供控制的模型，生成可接受的操作模型，存储生成的可接受模型，决定控制原则，产生被有限状态机代替的控制设备模型，把控制设备模型转换成用设计描述语言所写的设备模型。 |