start
What is Workcraft?
- framework for interpreted graph models
- elaborate cross-platform GUI for modelling
- established tools for verification and synthesis
Download Workcraft v3.5.2
(needs Java ≥17)
- for Windows (36 MiB)
- for Linux (42 MiB)
- for OS X (32-bit backend tools) (39 MiB)
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)
Help
Generic information
Model plugins
Advanced topics
Development
Building
Understanding
Documenting
Acknowledgements
Copyright © 2014-2024 workcraft.org