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.
Digital Circuit plugin
-
On circuit wire routing align first/last control points to adjacent pins.
Recognise MUTEX
elements on Verilog import.
Convert trivial assign statements in Petrify output for technology mapping into BUF
instances.
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.
Fixes and technical stuff
Updated UnfoldingTools backend to support -Fe
mode 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-2021 workcraft.org