changelog:v3.2.1
Workcraft v3.2.1 (2018-11-01)
Usability improvements
- Filter for favorite model types in New work dialog. Models can be defined as favourite in Common→New work favorites section of global preferences.
- Warning when loading work files created by newer versions of Workcraft.
- Structural checks for Circuit and STG models before proceeding with verification.
Model and tool plugins
- Digital Circuit plugin
- Significantly improved Initialisation analyser.
- On circuit wire routing align first/last control points to adjacent pins.
- Recognise
MUTEXelements on Verilog import. - Convert trivial assign statements in Petrify output for technology mapping into
BUFinstances. - Compatibility checks for circuit and its environment before proceeding with verification.
- Improve deadlock verification for circuits, taking into account that it cannot be reliably checked in case of conformation violation.
- Signal Transition Graph plugin
- Verification of STG for output determinacy, i.e. that the STG is not self-contradictory.
- Verification of N-way conformation for STGs with dummies (previously dummies were forbidden for technical reasons).
- Corrections for visualisation and
.gexport of the promised place capacity. - In STG simulation highlight arcs with implicit marked place.
Fixes and technical stuff
- Updated UnfoldingTools backend to support
-Femode of MPsat – work out the complete trace (including the trailing dummies) to the violation. - Command line option to start Workcraft without loading/overwriting user config – this useful for scripting.
- Global setting Use short header in exported files that allows skipping Workcraft version in the file header (useful for scripting and regression testing).
- Use external JavaBeans Activation Framework (JAF) for compatibility with the newer versions of JVM (JAF was deprecated in Java 9).
- Prevent inconsistent state of Property editor.
- Simplified API for Mathematical and Visual models.
- Update of help and tutorials.
Copyright © 2014-2024 workcraft.org