start
What is Workcraft?
- framework for interpreted graph models
- elaborate cross-platform GUI for modelling
- established tools for verification and synthesis
Tutorials
Modelling causality and concurrency
Synthesis and verification of asynchronous circuits
- Synthesis and verification of C-element
(basic circuit, detail explanation) - Synthesis and verification of buck controller
(medium complexity with some hints) - Synthesis and verification of VME bus controller
(medium complexity, for individual work) - Hierarchical design of a realistic buck controller
(advanced material for individual work) - Initialisation of speed-independent circuits
(advanced material for individual work) - Resolution of encoding (CSC) conflicts
(advanced material for individual work)
Help
Generic information
Model plugins
Development
Acknowledgements
