User Tools

Site Tools


Workcraft v3.0.5 (2015-08-03)

Usability improvements

  • Updated Look and Feel with SilverOcean theme. Adjustment of the PropertyEditor and simulation tables to the new look and feel. Nested sub-menus aligned with other menu items.
  • Frequently used sub-menues of Tools menu, such as Transformations, Verification, Synthesis and Encoding are promoted to the main menu bar.
  • Property editor is made invisible in simulation mode.

Model and tool plugins

  • Digital Circuit plugin
    • Import of gate libraries from GenLib file (petrify.lib).
    • Import from Verilog netlists and its mapping into the gates of GenLib library.
    • Export to Verilog netlist.
    • Joint generator is removed from Digital Circuit plugin to avoid confusion on how to create wire forks. Now forks can be created by starting a connection from an existing wire - a joint point will be automatically inserted.
    • Automated conversion of Petrify synthesis results into a circuit work.
  • Conditional Partial Order Graph plugin
    • Integration of PG miner tool under Tools→Concurrency extraction menu.
    • Interface to different modes of ScEnco tool under Encoding menu.
  • Dataflow Structures plugin
    • Preserve token color on copying the simulation state to the initial state of DFS model.
    • Improved cycle analysis interface.

Fixes and technical stuff

  • PCOMP is updated to version 3.01beta.
  • ScEnco tool is updated to version 1.1.1.
  • PGMiner tool is included in the distribution.
  • Fix for connection geometry re-calculation on un-collapsing a container group.
  • Fix for copy-pasting collapsed groups.
  • Use of string constants for property names in all plugins.
  • Proper refresh of the PropertyEditor title.
  • Tool sections that start with “!” are promoted to the main menu.
  • Possibility to rename properties.
  • Undo for in-place editing of Comments and STG transitions.
Copyright © 2014-2021