User Tools

Site Tools


Workcraft v3.4.1 (2023-08-24)

Usability improvements

  • Enable user-defined flat name separator for page references; the default is _ which is configurable via Editor→Separator for converting page references into flat name of global preferences
  • Improve option dialog with mnemonics and shortcuts for Yes/No/Cancel buttons
  • Calculate model bounding box before exporting its visual layer into a graphics file, such as PNG and SVG
  • Move Comment settings into a subsection of Visual settings of global preferences
  • Add settings for MPSat custom cost functions in verification and synthesis modes
  • Detailed header mode for file export to include timestamp of file creation, operating system info and JavaScript command used
  • Extend support for Bison syntax check to highlight warnings in custom properties
  • Remove support email from Help menu in favour of GitHub issues

Model and tool plugins

  • Digital Circuit plugin
    • Add regex for user-defined auxiliary ports that should be excluded from output persistency check; the default is empty, and is configurable via Digital Circuit→Auxiliary ports regex to exclude from verification, e.g. sig|req[0-9]*|bus__\d+ of global preferences
    • Exclude scanout ports from output persistency check
    • Improve Output persistency property to accept exception pairs of signals for WAIT elements
    • Improve reporting of structural issues on Verilog import, e.g. for inconsistently connected nets and multiple top level modules
    • Extend substitution rules to enable user-defined extra gate pins, e.g. for scan
    • Add info on invalid files into refinement statistics that is accessible via Tools→Statistics→Refinement analysis
    • Use colors defined in Signals settings of global preferences when rendering contact names
    • Improve snapping to grid when creating nets with Connect tool
  • Signal Transition Graph plugin
    • Improve verification of delay insensitive interface with a possibility to define exceptions
    • Add verification property for the absence of self-triggering output and internal signals, with a possibility to define exceptions - it is accessible via Verification→Absence of local self-triggering (without dummies) [MPSat]…
    • Promote delay insensitive interface and absence of local self-triggering to essential properties

Fixes and technical stuff

  • Update toolchain to Gradle v8.3, CheckStyle v10.12.2, Jacoco v0.8.10, JavaCC plugin v3.0.0, Batik v1.17
  • Update UnfoldingTools backend with several bugfixes, revised Reach syntax and binaries rebuilt using GCC 13 and GLIBC v2.37
  • Recognise development mode of running from source
  • Drop dependency on Kotlin as not used much by plugins
  • Improve GitHub actions with recent MacOS and Windows runners, and Jacoco/Coveralls task for coverage report
  • Fix PowerShell starter script for use of local JRE
Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki