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
  • 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
  • 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)

• 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

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