Workcraft v3.5.0 (2024-06-29)

Usability improvements

• Revise Property editor with consistent order of properties
• Improve popup menus for node transformation commands
• Prevent model modification when nodes are selected from Property editor

Model and tool plugins

• Digital Circuit plugin
  • Support for proxy contacts
  • Show the number of driven contacts next to the driver contact
  • Revise handling of mutex early/late protocols
  • Preserve zero-delay attribute on inversion toggling
  • Update pin range filter on gate library reload
  • Convert exporter of mapped circuit as Verilog assign statements into System Verilog
  • Improve Verilog import with split declaration of ports
  • Add initial support for pre-designed components
  • Support stdC synthesis with input inverters
  • Fix parsing of reset sub-function for gC assign statement

• Signal Transition Graph plugin
  • Improve STG layout after transition contraction
  • Revise relocation of transition using Ctrl-drag
  • Move capacity declaration in exported .g files before marking

Fixes and technical stuff

• Switched to Java 17 LTS as the minimum requirement
• Fix alignment for label with left positioning
• Replace Log4j that has reached end of life by Reload4j
• Add missing -l command line option for MPSat when building unfilding prefix and remove redundant -l option for prebuilt unfolding
• Fix JavaScript closeWork(work) wrapper to close the work editor