Title :
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
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;
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
DOI :
10.1109/DELTA.2008.63
