User Tools

Site Tools


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

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

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki