User Tools

Site Tools


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.