Title :
Logic design of structured configurable controllers
Author :
Tkacz, Jacek ; Adamski, Mariusz
Author_Institution :
Inst. of Comput. Eng. & Electron., Univ. of Zielona Gora, Gora, Poland
Abstract :
The paper is concentrated on behavioral and structural specification of reconfigurable logic controllers (RLC). The initial description is given as a hierarchical modular control interpreted Petri net. On the abstract level of the logic synthesis specification is written in propositional sequent language. Rapid modeling and synthesis in FPGA can be done directly from expressions, written in the hardware description language, for example in VHDL.
Keywords :
Petri nets; control engineering computing; controllers; field programmable gate arrays; formal specification; hardware description languages; logic design; FPGA modeling; FPGA synthesis; RLC; VHDL; behavioral specification; field programmable gate array; hardware description language; hierarchical modular control interpreted Petri net; logic design; logic synthesis specification; propositional sequent language; reconfigurable logic controllers; structural specification; very high scale description language; Color; Control systems; Digital audio players; Encoding; Logic design; Mixers; Registers;
Conference_Titel :
Networked Embedded Systems for Every Application (NESEA), 2012 IEEE 3rd International Conference on
Conference_Location :
Liverpool
Print_ISBN :
978-1-4673-4721-1
DOI :
10.1109/NESEA.2012.6474022
