start - Workcraft

start

What is Workcraft?

framework for interpreted graph models
elaborate cross-platform GUI for modelling
established tools for verification and synthesis

source code • latest news • training events

Download Workcraft v3.4.0

(needs Java ≥11)

for Windows (37 MiB)
for Linux (42 MiB)
for OS X (32-bit backend tools) (40 MiB)

download mirror • release notes • distribution

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

Tutorials

Modelling causality and concurrency

Designing asynchronous circuits

Design of C-element (basic, detailed instructions)
Design of basic buck controller (medium, some hints)
Design of VME bus controller (medium, individual)
Handshakes verification
Hierarchical design of a realistic buck controller
Initialisation of speed-independent circuits
Loop breaking and offline testing
Resolution of encoding (CSC) conflicts
Logic decomposition and technology mapping
Verification and synthesis of hierarchical designs

All training materials...

Help

Generic information

Model plugins

Advanced topics

All help topics...

Development

Building

Understanding

Documenting

Acknowledgements

Copyright © 2014-2021 workcraft.org