Abstract:Many processes require controllers with an instant response (e.g. motor control, CNC machines). A high-performance PLC can be constructed with use of programmable logic devices. A lack of custom synthesis tools disables the use of standard languages widely accepted by automation designers. The paper presents the systematic process of a PLC program synthesis to hardware structure. An input PLC program is given according to the IEC61131-3 standard. The synthesis process has been developed for implementation of a program described with the LD and SFC languages. The essential idea of synthesis process is obtaining a massively parallel operating hardware structure that significantly reduces response processing time. The PLC program is translated into originally developed dedicated graph structure that enables a wide range of optimizations. In the next step, it is mapped into a hardware structure. In order to reduce resource requirements, a strategy with resource sharing is shown, which is an original extension of general mapping concepts. Modern FPGAs are equipped with arithmetic cores dedicated for signal processing, inspiring the development of the original DSP48 block mapping strategy. It attempts to utilize all features of the block in the pipelined calculation model. The considerations are summarized with the implementation result compared against standard PLC implementation, a mutual comparison of general hardware mapping, and with the use of DSP48 units.

Towards a language based synthesis of NCL circuits

Process Algebraic Specification of DI Circuits

Specification And Analysis Of Ncl Circuits

Synthesis of logical controllers and discrete-event systems supervisory control theory

FORMAL VERIFICATION AND SYNTHESIS OF NULL CONVENTIONAL LOGIC CIRCUITS

Modeling and Verification of Ncl Circuits Using Pat

COOL: Efficient and Reliable Chain-Oriented Objective Logic with Neural Networks Feedback Control for Program Synthesis

Cost-aware Synthesis of Asynchronous Circuits Based on Partial Acknowledgement

Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment

Program Synthesis using Natural Language

A Dual-Rail/single-rail Hybrid System Using Null Convention Logic Circuits

An approach to synthesis delay semantics in VHDL.

Compiling Cross-Language Network Programs into Hybrid Data Plane

CIRCUITSYNTH: Leveraging Large Language Models for Circuit Topology Synthesis

The Synthesis of Stochastic Circuits for Nanoscale Computation.

Designing Self-timed Asynchronous Circuits with Chisel

Minterm Based Synthesis and Optimization of Asynchronous Dual-rail Encoded Functional Modules

Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications

On hardware synthesis and implementation of PLC programs in FPGAs

From Model to Implementation: a Network Algorithm Programming Language