changelog:v3.4.0
Workcraft v3.4.0 (2023-04-07)
Usability improvements
Updated rendering of dialog buttons to fit their text at high DPI
Modified confirmation dialogs to log their message into Output tab
Improved user interface for multiple editor tabs
Digital Circuit plugin
Revised 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
Extended circuit statistics with the info on trivial gates (buf, inv, const)
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-2021 workcraft.org