changelog:v3.4.0
Workcraft v3.4.0 (2023-04-07)
Usability improvements
- Update rendering of dialog buttons to fit their text at high DPI
- Modify confirmation dialogs to log their message into Output tab
- Improve user interface for multiple editor tabs
- Configurable layout policy for editor tabs (scroll or wrap)
- Adjusted dimensions of scroll buttons based on selected pixel density
Model and tool plugins
- Digital Circuit plugin
- Revise reset insertion procedure for excited gates
- Conversion of circuits with constrained signals into STGs with disabled signal phases
- Support for relative path in JavaScript setting of circuit environment models
- Option to dissolve singleton bus on Verilog export
- Option for set_disable_timing constraints in testable gates
- Additional check on Verilog export that circuit components with the same label use the same refinement
- JavaScript wrappers to access circuit contact methods
- Global setting for visibility of set/reset functions on circuit contacts
- Extend circuit statistics with the info on trivial gates (buf, inv, const)
- Signal Transition Graph plugin
- Enable relocation of transition into existing arc by starting to drag it and pressing Ctrl
- Parity Game plugin
- Implementation of a solver for parity game problem by Pete Austin, University of Liverpool
Fixes and technical stuff
- We have moved from outdated Java 8 to newer Java 11 as a minimal requirement
- Configurable number of threads for MPSat synthesis and verification backends
- Update natural sorting to handle strings with large numerical parts
- Fix editor re-opening for already loaded models, whose editor window was closed
- Fix for release of unused names of circuit components on their renaming
- Fix for import of WAIT0 instances from Verilog netlist
Copyright © 2014-2024 workcraft.org