http://workcraft.org/ 2026-04-29T14:22:12+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2022-08-17T16:05:20+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/backend_tools?rev=1660752320&do=diff Back-end tools A number of plug-ins included in Workcraft depend on third-party tools and some of the plugins act as a user friendly front-end for such tools. In order to obtain complete functionality from Workcraft these back-end tools have to be present on your system (note that the Workcraft distribution comes bundled with these tools, so you do not have to install them separately). Download locations for those tools are linked below. text/html 2018-10-31T22:27:00+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/circuit?rev=1541024820&do=diff Digital Circuit Digital circuit is a high-level model of asynchronous control circuits which can be composed with the STG model of the environment for verification . I. Poliakov, A. Mokhov, A. Rafiev, D. Sokolov, A. Yakovlev: “Automated verification of asynchronous circuits using circuit Petri nets”  text/html 2018-10-30T22:07:22+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/cpog?rev=1540937242&do=diff Conditional Partial Order Graph Conditional partial order graph is a formalism for specifying a collection of behavioural scenarios, and combining them into a compact graph representation using the optimal encoding . A. Mokhov, A. Yakovlev: “Conditional partial order graphs: model, synthesis and application” text/html 2018-10-31T22:26:46+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/dfs?rev=1541024806&do=diff Dataflow Structure This plugin implements a high-level model which combines the static and dynamic elements of self-timed pipelines and supports counterflow and spread token execution semantics . D. Sokolov, I. Poliakov, A. Yakovlev: “Analysis of static data flow structures” text/html 2017-03-06T14:54:40+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/dtd?rev=1488812080&do=diff Digital Timing Diagram This plugin implements a Digital Timing Diagram model for representing causality and concurrency relations between signals as waveforms. text/html 2018-10-30T21:57:48+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/fsm?rev=1540936668&do=diff Finite State Machine Finite State Machine is a convenient formalism for explicit representation of a system's state space. text/html 2018-10-30T21:58:33+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/fst?rev=1540936713&do=diff Finite State Transducer Finite State Transducer is a Finite State Machine whose symbols have semantics of input and output signals. text/html 2018-10-31T22:25:52+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/graph?rev=1541024752&do=diff Directed Graph This plugin implements a basic Directed Graph model that serves a basis for other plugins. text/html 2023-03-14T09:06:46+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/news?rev=1678784806&do=diff Latest news * 2022-12-20 -- Software update Workcraft 3.3.9 is released (see changelog). * 2022-09-14 -- Publicity Paper in IEEE Transaction on Computers about Workcraft design automation for synthesis of burst-mode automata: * A. Chan et al: “Burst automaton: Framework for speed-independent synthesis using burst-mode specifications text/html 2018-10-31T22:26:10+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/petri?rev=1541024770&do=diff Petri Net Petri Net is arguably the best model for capturing causality and concurrency relations between the events of an asynchronous. text/html 2018-10-31T22:26:24+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/policy?rev=1541024784&do=diff Policy Net Policy nets is an extension of Petri nets with step execution semantics, which is especially convenient for modelling GALS . J. Fernandes, M. Koutny, M. Pietkiewicz-Koutny, D. Sokolov, A. Yakovlev: “Step persistence in the design of GALS systems text/html 2020-03-12T17:38:18+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/presence?rev=1584034698&do=diff Workcraft on the Web CAD repositories * OpenHub * Arch Linux Source code * GitHub * Launchpad (outdated) Continuous integration * Travis CI * Code Climate * Coverall * CII Best Practices Visualisation of the development process * GitHubVisualizer google-chrome \ --window-position=0,0 \ --window-size=1920,1205 \ "http://ghv.artzub.com/#repo=workcraft&user=workcraft&climit=9999" ffmpeg \ -i :0.0+1,125 -s 1920x1080 \ -an -f x11grab -r 30 \ -aspect 16:9 -vcod… text/html 2020-04-27T12:43:12+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/screenshots?rev=1587991392&do=diff [ ]Modelling and verification of concurrent algorithms with Petri Nets[ ]Synthesis of instruction decoder using Conditional Partial Order Graphs[ ]Specification and synthesis of speed-independent controllers from Signal Transition Graphs[ ]Modelling self-timed pipelines using Dataflow Structures text/html 2018-10-30T22:08:24+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/son?rev=1540937304&do=diff Structured Occurrence Net Structured occurrence net is a model for capturing and analysis of causality and concurrency in families of execution traces . M. Koutny, B. Randell: “Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques text/html 2021-01-06T17:20:49+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/start?rev=1609953649&do=diff Overview A large number of models that are employed in the field of concurrent systems design, such as Petri nets, gate-level circuits, dataflow structures, etc. - all have an underlying static graph structure. Their semantics, however, is defined using additional entities, e.g. tokens or node/arc states, which in turn form the overall state of the system. We jointly refer to such formalisms as                                                       … text/html 2018-10-30T22:06:12+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/stg?rev=1540937172&do=diff Signal Transition Graph A Signal Transition Graph is a labelled Petri net whose transitions are associated with signal events . A. Yakovlev, L. Lavagno, A. Sangiovanni-Vincentelli: “A unified signal transition graph model for asynchronous control circuit synthesis” text/html 2018-11-13T12:20:29+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/wtg?rev=1542111629&do=diff Waveform Transition Graph Wave Transition Graph (WTG) is a model used for the design of asynchronous controllers . It can express a wide range of circuits and can be easily converted into STGs, which allows an easy access to all the verification and synthesis tools available for        text/html 2018-10-31T22:27:10+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/overview/xmas?rev=1541024830&do=diff xMAS Circuit xMAS is a high-level microarchitectural model of communication fabrics . S.Chatterjee, M.Kishinevsky, U.Ogras: “Quick formal modeling of communication fabrics to enable verification”, Proc. IEEE International Workshop on High Level Design Validation and Test