changelog:v3.1.1
Workcraft v3.1.1 (2016-06-30)
Usability improvements
Tool-specific mouse cursors are used to emphasise the currently active tool.
Conversion of work files to supported export formats from command line.
Correctly enable/disable menus on switching between works.
Initial support for checking SVA-like invariants in circuits and
STG models.
In OSX shortcuts are based on ⌘ key instead of Ctrl.
Native OSX menu bar for Mac users.
Both Delete and Backspace keys can be used for removing selected objects (for laptops without Delete button).
Alignment of multi-line labels.
Rendering of check-boxes, radio-buttons and file selection dialog icons for high-DPI displays.
Digital Circuit plugin
Custom property… [MPSat] and Custom assertion… [MPSat] items are added to Verification menu for checking Reach predicates and SVA-like invariants on circuits.
Transformation tool for detaching joints from circuit driver pins (forks on output contacts and input ports).
Analysis tool for identifying and breaking combinational loops in one of two ways:
Insert specially designed loop-breaking gates, e.g. C-elements implemented as proper sequential gate.
Tag input pins of gates as path breakers – these subsequently can be exported as set_disable_timing
SDC constraints.
Fixes and technical stuff
Reduce the probability of concurrent modification exception (was often seen on import from Verilog).
Bug-fixes in renaming
STG transitions.
Updated UnfoldingTools to support SVA-like invariants.
Updated ScEnco backend tool to support Verilog output.
Prevent creation of ~/felxdock/
directory.
Copyright © 2014-2021 workcraft.org