Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool

  • Ivan Poliakov
  • Danil Sokolov
  • Andrey Mokhov
Conference paper

DOI: 10.1007/978-3-540-73094-1_30

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4546)
Cite this paper as:
Poliakov I., Sokolov D., Mokhov A. (2007) Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. In: Kleijn J., Yakovlev A. (eds) Petri Nets and Other Models of Concurrency – ICATPN 2007. ICATPN 2007. Lecture Notes in Computer Science, vol 4546. Springer, Berlin, Heidelberg

Abstract

Reliable high-level modeling constructs are crucial to the design of efficient asynchronous circuits. Concepts such as static data flow structures (SDFS) considerably facilitate the design process by separating the circuit structure and functionality from the lower-level implementation details.

Aside from providing a more abstract, higher level view, SDFS allow for efficient circuit analysis that is done by converting it to a Petri Net preserving behavioural equivalence. Once the equivalent Petri Net is obtained, existing theoretical and tool base can be applied to perform the model verification.

However, recent advances in SDFS design were largely theoretical. There are no practical software tools available which would allow working with different SDFS models in a consistent way and provide means for their analysis and comparison.

This paper presents a tool which aims to provide a common, cross-platform environment to assist with aforementioned tasks. The tool offers a GUI-based framework for visual editing, real-time simulation, animation and extendable analysis features for different SDFS types. The models themselves, as well as the supporting tools, are implemented as plug-ins.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Ivan Poliakov
    • 1
  • Danil Sokolov
    • 1
  • Andrey Mokhov
    • 1
  1. 1.Microelectronics System Design Research Group, School of EECE, University of Newcastle, Newcastle upon TyneUK

Personalised recommendations