User Tools

Site Tools


changelog:start

Changelog

Workcraft v3.1.4 (2017-05-10)

Usability improvements

  • Configure plugins during every start, rather than store plugin metadata.
  • Improved usability of maximised dockable windows.
  • Consistent naming of new works that are produced by conversion and synthesis commands.

Model and tool plugins

  • Digital Circuit plugin
    • Automatic circuit layout is improved with orthogonal routing of connections, so the synthesis results look better and are easier to read even without user corrections. Some parameters of the circuit layout can be tweaked in LayoutCircuit section of global preferences. This layout command can be accessed under ToolsGraph layout menu as follows:
      • Circuit placement and routing – re-position circuit components and re-route connections.
      • Circuit placement only – re-position circuit components and keep the connection unrouted (straight lines).
      • Circuit routing only – preserve the position of circuit components and re-route connections.
    • Strict implementation property is for complex gate and standard C-element synthesis styles.
    • Automatic insertion of mutex into synthesised circuit.
    • Circuit verification is modified to take mutexes into account.
  • Signal Transition Graph plugin
    • Mutex places to specify of non-persistent behaviour that can be implemented with a mutex.
    • Verification property for mutex place implementability (VerificationMutex place implementability [MPSat] menu).
    • STG verification for output persistency is modified to prevent false-positives.
    • Commands for expanding compressed STG handshakes.
    • Deadlock verification property that filters out deadlocks with terminal dummies (VerificationCustom property [MPSat]… dialog).
    • Importer and exporter for LPN file format with ATACS-specific syntax.

Fixes and technical stuff

  • Plugin for Plato backend to translate Concepts into STG and FST models.
  • Updated Petrify backend to better support mutex insertion.
  • Updated MPSat backend to better support mutex insertion.
  • Improved parser of .sg files with clearer diagnostics in case of syntax error.

Previous versions