TY - JOUR
T1 - An algorithm for generating boolean expressions in VHDL based on ladder diagrams
AU - Xie, Hongxia
AU - Zhuang, Zheng Yun
N1 - Publisher Copyright:
© 2015 Hongxia Xie and Zheng-Yun Zhuang.
PY - 2015
Y1 - 2015
N2 - This study proposes an algorithm for generating the associated Boolean expression in VHDL, given a ladder diagram (LD) as the input. The purpose of the algorithm is to implement of field-programmable gate array-(FPGA-) based programmable logic controllers (PLCs), where an effective conversion from an LD to its associated Boolean expressions seems rarely mentioned. Based on this core thought, the conversion process of the algorithm first involves abstracting and expressing the encountered LD as an activity-on-vertex (AOV) graph. Next, an AND-OR tree in which AND-nodes and OR-nodes connote the series and the parallel relationships between the vertices of the AOV graph is constructed based on the AOV graph. Therefore, by a traversal to the AND-OR tree, the associated Boolean expression, as the output of the algorithm, can be easily obtained in VHDL. The proposed algorithm is then verified with an illustrative example, wherein a complicated LD is given as the input.
AB - This study proposes an algorithm for generating the associated Boolean expression in VHDL, given a ladder diagram (LD) as the input. The purpose of the algorithm is to implement of field-programmable gate array-(FPGA-) based programmable logic controllers (PLCs), where an effective conversion from an LD to its associated Boolean expressions seems rarely mentioned. Based on this core thought, the conversion process of the algorithm first involves abstracting and expressing the encountered LD as an activity-on-vertex (AOV) graph. Next, an AND-OR tree in which AND-nodes and OR-nodes connote the series and the parallel relationships between the vertices of the AOV graph is constructed based on the AOV graph. Therefore, by a traversal to the AND-OR tree, the associated Boolean expression, as the output of the algorithm, can be easily obtained in VHDL. The proposed algorithm is then verified with an illustrative example, wherein a complicated LD is given as the input.
UR - http://www.scopus.com/inward/record.url?scp=84924246225&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84924246225&partnerID=8YFLogxK
U2 - 10.1155/2015/530586
DO - 10.1155/2015/530586
M3 - Article
AN - SCOPUS:84924246225
SN - 1024-123X
VL - 2015
JO - Mathematical Problems in Engineering
JF - Mathematical Problems in Engineering
M1 - 530586
ER -