A logic design automation system for generating logic diagram from hardware description

1989 ◽  
Vol 4 (3) ◽  
pp. 245-254
Author(s):  
Mingye Liu ◽  
Shuming Guo ◽  
Huai Yang ◽  
Liangyu Jia ◽  
Enyu Hong
Keyword(s):  
Design Automation ◽  
Automation System ◽  
Logic Design ◽  
Logic Diagram ◽  
Hardware Description

Design Verification for Control Logic in Nuclear Power Plant

2018 ◽  
Vol 4 (4) ◽  
Author(s):  
Hui Li ◽  
Guangxin Zhang
Keyword(s):  
Power Plant ◽  
Nuclear Power Plant ◽  
Nuclear Power ◽  
Control Function ◽  
Logic Design ◽  
Design Verification ◽  
Control Logic ◽  
Design Data ◽  
Logic Diagram ◽  
And Control

The control function for process, heating, ventilation, and air conditioning, and electrical systems in nuclear power plant (NPP) are represented by control logic diagram. To develop distributed control system (DCS), the designer and supplier should complete the activities of control logic configuration, testing, and verification, which are based on control logic diagram. Design verification is an effective method to ensure the correctness of control logic design. This paper represents a system, which is capable of implementing control logic design verification automatically for NPP instrumentation and control (I&C) system, as well as an overview of the procedure and some examples by using this system. With the design data (including control requirements and control logic diagrams in computer-readable format) and simulation technology, this system automatically performs design verification based on different rules and confirms the design outputs meet the inputs—the control requirements of plant's systems. Finally, a conclusion about the design verification system and future scenarios is given.

Sign in / Sign up

Export Citation Format

Share Document