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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Extensible Markup Language (XML) - http://www.w3.org/XML/
JOGL API project - https://jogl.dev.java.net/
Scalable Vector Graphics - http://www.w3.org/Graphics/SVG/
The Jython Project - http://www.jython.org/
The Python Programming Language - http://www.python.org/
Ampalam, M., Singh, M.: Counterflow pipelining: architectural support for preemption in asynchronous systems using anti-tokens. In: Proc. International Conference Computer-Aided Design (ICCAD) (November 2006)
Best, E., Grundmann, B.: PEP - more than a Petri net tool. In: Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, Heidelberg (1995)
Brej, C.: Early output logic and anti-tokens. PhD thesis, Dept. of Computer Science, University of Manchester (2005)
Khomenko, V.: Model Checking Based on Prefixes of Petri Net Unfoldings. PhD thesis, University of Newcastle upon Tyne, School of Computing Science (2003)
Montanari, U., Rossi, F.: Contextual nets. Acta Informacia 32(6), 545–596 (1995)
Poliakov, I., Sokolov, D., Yakovlev, A.: Software requirements analysis for asynchronous circuit modelling and simulation tool. Technical Report NCL-EECE-MSD-TR-2007-118, University of Newcastle (2006)
Sokolov, D., Poliakov, I., Yakovlev, A.: Asynchronous data path models. In: 7th International Conference on Application of Concurrency to System Design (to appear 2007)
Sparsø, J., Furber, S. (eds.): Principles of Asynchronous Circuit Design: A Systems Perspective (2001)
Morrison, R., Stemple, D.W.: Software - Practice and Experience. In: Linguistic Reflection in Java, pp. 1045–1077. John Wiley & Sons, New York (1998)
Vogler, W., Semenov, A.L., Yakovlev, A.: Unfolding and finite prefix for nets with read arcs. In: International Conference on Concurrency Theory, pp. 501–516 (1998)
Yakovlev, A., Kishinevsky, M., Kondratyev, A., Lavagno, L., Pietkiewicz-Koutny, M.: Formal Methods in System Design. In: On the Models for Asynchronous Circuit Behaviour with OR Causality, pp. 189–233. Kluwer Academic Publishers, Boston (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-540-73094-1_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-73094-1_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73093-4
Online ISBN: 978-3-540-73094-1
eBook Packages: Computer ScienceComputer Science (R0)