changelog:v3.2.0
Workcraft v3.2.0 (2018-06-30)
Usability improvements
New tutorial on logic decomposition and technology mapping.
New tutorial on verification and synthesis of hierarchical designs, including N-way conformation.
Dot layout can be configured left-to-right, top-to-bottom, right-to-left, or bottom-to-top. It is left-to-right by default. This can be changed in Layout→Dot→Direction of lay out setting that is accessible via Edit→Preferences… menu.
Digital Circuit plugin
Improved Verilog parser: support for port ranges (i.e. busses) and multi-line comments
Tuned parameters of the circuit automatic layout to prevent touching of wire corners. Support for wire routing in hierarchical circuits (with groups and pages).
Error message if the initial state of interface signals differs in circuit and its environment
STG. This check is performed before any verification command that uses environment
STG.
Improved log messages and small corrections for trace projection in circuit verification commands.
New circuit transformation commands:
Splitting multi-level complex gates (Transformations→Split multi-level gates (selected or all) in the main menu or Split multi-level gate in a gate popup menu). The decorations and initial state of the split gates are derived from the original multi-level gate.
Propagating inversion through the gate using De Morgan law (Transformations→Propagate inversion through gates (selected or all) in the main menu or Propagate inversion through gate in a gate popup menu).
Toggling zero delay attribute (Transformations→Toggle zero delay of selected buffers and inverters in the main menu or Toggle zero delay in a gate popup menu.)
Fixes and technical stuff
Simple anonymous classes (e.g. implementations of Runner, Func, ActionListener interfacers) are converted to Java 8 lambdas.
Updated JavaCC parser generator to v1.8, Checkstyle to v8.1, Jacoco to v0.8.1.
Extended Decoration interface to enable drawing on model canvas from external tools.
Enable registration of Tools directly from Module declaration.
Refactoring Boolean formula classes and utilities. Support for decomposition of Boolean expressions.
Build and test support for Kotlin language.
Full support of InteliJ IDEA for development of Workcraft:
Automatic generation of project files from Gradle build script.
Split test
directories into test-src
and test-res
.
Detailed instructions for IDEA integration in developer documents.
Copyright © 2014-2021 workcraft.org