Logic design of structured configurable controllers

Author

Tkacz, Jacek ; Adamski, Mariusz

Author_Institution

Inst. of Comput. Eng. & Electron., Univ. of Zielona Gora, Gora, Poland

fYear

2012

fDate

13-14 Dec. 2012

Firstpage

1

Lastpage

6

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/NESEA.2012.6474022

Filename

6474022