Workcraft is an integrated development system designed to create various mathematical models. It is integrated with such external tools as Petrify, Punf, and Mpsat and can simplify and partially automate the asynchronous circuit design. With new features is now also useful for the modelling, simulation and formal verification of digital circuits.
A model of a circuit is composed out of function components that represent circuit logic gates (or even more complex elements). Each function component can be represented with set/reset Boolean equations. These equations are not limited by the number of inputs, therefore, gates of arbitrary complexity can be created for the experimentation prior to decomposition.
It is possible to mark functional blocks to be treated as part of the environment. The technique is useful for specifying components with internal conflicts such as mutex elements. These conflicts are being put outside the scope of the model and are not considered during the verification phase.
Finally, the simulation of the circuit it based on the Circuit Petri Net beneath it and essentially inherits all of the features available for the STG simulation.
published on: 19th October 2010