Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs

Author

Schilke, Helene ; Rettberg, Achim ; Dittmann, Florian

Author_Institution

Univ. of Paderborn, Paderborn

fYear

2008

fDate

23-25 Jan. 2008

Firstpage

561

Lastpage

566

Abstract

In this work, we present a methodology for the embedded systems domain that allows the design of models for partial reconfigurable Hardware. The dynamic modifiable high-level Petri-nets are used as a specification language for this methodology. They inherently offer parallelism and are a natural choice for any hardware design. The special mechanisms- scopes and transitions with transformation rules- allow the modelling of dynamical activities.

Keywords

Petri nets; field programmable gate arrays; integrated circuit modelling; logic CAD; specification languages; Petri nets; embedded systems; field programmable gate arrays; integrated circuit modelling; partial reconfigurable hardware; specification language; transformation rules; Design methodology; Electronic equipment testing; Embedded system; Fabrics; Field programmable gate arrays; Hardware design languages; Parallel processing; Platform virtualization; Specification languages; System testing; Dynamic Reconfiguration; FPGA; Model-based Design Flow; Petri-net;

fLanguage

English

Publisher

ieee

Conference_Titel

Electronic Design, Test and Applications, 2008. DELTA 2008. 4th IEEE International Symposium on

Conference_Location

Hong Kong

Print_ISBN

978-0-7695-3110-6

Type

conf

DOI

10.1109/DELTA.2008.63

Filename

4459613