[发明专利]数字电路的自动设计设备、自动设计方法和自动设计程序

摘要

自动数字电路设计设备接收以设计描述语言被编写的控制目标模型，生成由有限状态机模型表示的控制目标模型，存储生成的控制目标模型，接收以设计描述语言被编写的控制规范模型，生成由有限状态机模型表示的控制规范模型，存储生成的控制规范模型，通过组合生成的控制目标模型和生成的控制规范模型而生成控制设备综合模型，计算可控制的仿真关系，存储计算的可控制的仿真关系，确定控制设备综合模型是否为能够提供控制的模型，生成容许操作模型，存储生成的容许操作模型，确定控制法则，生成由有限状态机表示的控制设备模型，以及把控制设备模型变换成以设计描述语言编写的控制设备模型。

主权项

1.一种用于包括控制目标电路和控制设备电路的数字控制系统电路的自动设计设备，该设备在给定控制目标电路的模型和数字控制系统电路的规范模型的情形下自动设计控制设备电路的模型，该设备包括：控制目标输入单元，被配置用来接收以预定的设计描述语言被编写的第一控制目标模型，第一控制目标模型是控制目标电路的模型；控制目标模型生成单元，被配置用来从第一控制目标模型生成由有限状态机模型表示的第二控制目标模型；控制目标模型储存单元，被配置用来存储生成的第二控制目标模型；控制规范输入单元，被配置用来至少接收以预定的设计描述语言被编写的第一控制规范模型，第一控制规范模型是控制系统电路的规范模型；控制规范模型生成单元，被配置用来从至少第一控制规范模型生成由有限状态机模型表示的第二控制规范模型；控制规范模型储存单元，被配置用来存储第二控制规范模型；模型组合单元，被配置用来通过计算被存储在控制目标模型储存单元中的第二控制目标模型与被存储在控制规范模型储存单元中的第二控制规范模型的逻辑“与”而生成控制设备综合模型，控制设备综合模型是控制设备电路的综合模型；可控制的仿真关系计算单元，被配置用来从第二控制目标模型和第二控制规范模型计算表示施加到控制设备综合模型的约束条件的可控制的仿真关系；可控制的仿真关系储存单元，被配置用来存储计算的可控制的仿真关系；可控制性确定单元，被配置用来根据可控制的仿真关系确定控制设备综合模型是否为能够提供满足控制系统电路的规范的控制的模型；容许操作模型生成单元，被配置用来从控制设备综合模型和可控制的仿真关系生成容许操作模型，容许操作模型是通过减小控制设备综合模型的规模而得到的模型；容许操作模型储存单元，被配置用来存储生成的容许操作模型；控制法则确定单元，被配置用来确定能够进一步减小容许操作模型的规模的控制法则；以及控制设备模型生成单元，被配置用来通过计算容许操作模型和控制法则的逻辑“与”而生成由有限状态机模型表示的控制设备模型。