User Tools

Site Tools


Workcraft v3.3.1 (2020-09-28)

Usability improvements

  • Possibility to skip layout of large models, so they can be exported without opening in editor (via popup menu in the Workspace area). The threshold size for large model is defined via Model size for layout warning (0-9999) setting in Edit→Preferences→Editor.
  • Enable linking of custom verification property to assertion expression in external text file (the link is stored as a relative path to the location of the work file)
  • Improvements to the Simulation tool
    • Persistent configuration of Waveforms in the simulator tools
    • Improve slider control for adjusting the speed of automated simulation
    • Use MPSat trace continuations to identify violating events even if they are preceded by dummies

Model and tool plugins

  • Digital Circuit plugin
    • Tool for instantiating library gates and arbitration primitives:
      • List available library gates and render their symbols
      • Advanced filtering capabilities (by component type, number of pins and module name)
    • Verification of refinement relation between the circuit and its environment STG (stricter that conformation)
  • Signal Transition Graph plugin
    • Update of 1-way conformation to support models with dummies
    • Revert selection of STGs in Parallel composition and N-way conformation dialogs using Toggle selection button
    • Verification of refinement relation between an implementation and specification models. Two flavours are supported (available via Verification menu):
      1. Strict (as per classical refinement definition)
      2. Relaxed (allows concurrency reduction)

Fixes and technical stuff

  • Update of the build system to Gradle v6.6, PMD v6.26, Checkstyle v8.35
  • Update of UnfoldingTools backend:
    • Continuations of violation traces
    • Improved resolution of CSC conflicts
    • Code refactoring
  • Fixes for calling some transformation commands (zero-delay optimisation, read-arc conversion, circuit anonymisation)
  • Update of distribution generator script:
    • Fix file permissions on building Workcraft distribution
    • Use readlink when changing to Workcraft directory in the runner script, so symbolic links can be followed
  • Refactoring of chain tasks into a functional composition of steps
  • Increase the coverage of source code by unit tests to 70%
Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki