changelog:v3.2.3

Workcraft v3.2.3 (2019-06-01)

Usability improvements

Access to main menu via Alt+key shortcut
Show the title of a currently selected section in global preferences
Enable to inline JavaScript directly in the command line with -exec: parameter

Model and tool plugins

Digital Circuit plugin
- Synthesis and verification support for mutex with the following protocols (configurable via Digital Circuit→Mutex protocol in global preferences):
  - Strict – forbid two grants to go high (this is default option)
  - Relaxed – allow two grants to be high, but only on reset phase
- Improvements in Connection tool
  - Intelligent positioning of automatically created pins
  - Automatic creation of pins when connecting directly to/from a components
- Improvements in Initialisation analyser tool
  - Support for don't touch zero delay components
- New functionality in Cycle analyser tool
  - Interactive and automatic modes of loop breaking with highlighting the gates within and outside of loops
  - Automatic insertion of testable loop breaking buffers that can be connected to scan
  - Scripting interface to loop breaking commands
  - Additional use of loop breaking tool for explicit disabling of timing arcs (can be exported as set_disabled_timing SDC constraints)
- Improved export to Verilog
  - Reset logic as assign statement for unmapped circuits
  - Explicit declaration of wires
  - Possibility to delay assign statements (configurable via Digital Circuit→Delay assign statements in Verilog export in global preferences)
  - Direct/invert substitution rules (configurable via Digital Circuit→Invert substitution rules in global preferences)
- Unified commands for tagging Force init and Path breaker properties
- Common color scheme for Initialisation analyser and Cycle analyser tools (configurable via Decoration→Analysis in global preferences)
- JavaScript functions to set/get circuit environment (setCircuitEnvironment(work, env)/setCircuitEnvironment(work))

Signal Transition Graph plugin
- Verification of STG for output determinacy, i.e. that the STG is not self-contradictory.
- Improved report for violation of N-way conformation, the user can choose from the following report styles (configurable via MPSat verification→Report style for conformation violation in global preferences):
  - Brief – enumerates violation traces and their projections on communicating components
  - Table – represents the projections in a tabular form, one column per communicating component
  - List – for each even in the violation trace lists its producer and receiver components

Waveform Transition Graph plugin
- Simulation of unstable signals
- Revised soundness checks
- Tutorial on design of instruction decoder using guards

Fixes and technical stuff

Fix handling of zero delay buffers and inverters
Unified codebase for handling modal dialogs and their buttons
Refactor class names to exclude plugin prefix
Version ordered application of compatibility patches
Common table models for color legend and item list
Implementation of Johnson and Kosaraju graph algorithms
Source code compatibility and integration tests for Java 11. Note that Java 8 compatibility is still our main focus.