CONTROL LOGIC DATA GENERATION DEVICE AND CONTROL LOGIC VERIFICATION DEVICE

摘要

PROBLEM TO BE SOLVED: To provide a control logic verification device capable of reducing the input work of control logic data and eliminating an input miss in input work. SOLUTION: In this control logic data generation device for generating control logic data necessary for verifying control logic by the control logic verification device, the verification device is provided with an acquisition means for acquiring drawing data for a control logic drawing, an arithmetic element recognition means for selecting graphic data expressing a prescribed arithmetic element constituting the control logic and recognizing the selected graphic data as the prescribed arithmetic element and a conversion means for converting the graphic data of the recognized arithmetic element into control logic data. Thus the arithmetic element plotted on the control logic drawing can be automatically converted into the control logic data.