FBDtoVerilog: A vendor-independent translation from FBDs into Verilog programs

Keyphrases

• Verilog 100%
• Programming Languages 66%
• Formal Verification 66%
• PLCopen 66%
• Verification Method 33%
• Nuclear Power Plant 33%
• Automation Industry 33%
• Function Block Diagram 33%
• Verification Tool 33%
• APR1400 33%
• Plant Automation 33%
• Nuclear Power Reactor 33%
• XML Format 33%
• Formal Verification Tools 33%
• Software Controller 33%
• Product-specific 33%
• Programmable Logic Controller 33%

Computer Science

• Verilog 100%
• Formal Verification 100%
• Programming Language 33%
• Programmable Logic Controller 33%
• Developing Software 33%
• Function Block Diagram 33%