数位电路的自动设计装置,自动设计方法,和自动设计程式

摘要

本发明提出一种自动设计装置，其用以接收以一设计描述语言(design description language)所写成之一控制目标模型(control target model)；产生以一有限状态机模型(finite state machine model)所表示之一控制目标模型；储存所产生之控制目标模型；接收以一设计描述语言所写成之一控制规格模型(control specification model)；产生以一有限状态机模型所表示之一控制规格模型；储存所产生之控制规格模型；藉由组合所产生之控制目标模型以及所产生之控制规格模型，以产生一控制装置合成模型；计算可控制模拟关系；储存所计算之可控制模拟关系；决定该控制装置合成模型是否为可提供控制之一模型；产生一允许操作模型(permissible operationmodel)；储存所产生之允许操作模型；决定一控制法则(control rule)；产生由一有限状态机模型所表示之一控制装置模型；以及将该控制装置模型转换为以一设计描述语言所写成的可控制装置模型。