Tools

PERAshur RafievAbstract: PER supports the exploration of parallelization scaling and DVFS scaling when trading off system performance, energy consumption, and reliability.
[ http://async.org.uk/prime/PER/ ].

Check HazardYu Li
Check Hazard generates a set of relative timing constraints for a speed-independent circuits which allow them to operate correctly when the isochronic fork timing assumption is relaxed into the intra-operator timing assumption.
[ http://async.org.uk/tools/check-hazard/ ].

WorkcraftIvan Poliakov, Arseniy Alekseyev, Stanislavs Golubcovs, Andrey Mokhov, Danil Sokolov
A large number of models that are employed in the field of concurrent systems design, such as Petri nets, Signal Transition Graphs (STGs), Conditional Partial Order Graphs (CPOGs), Structured Occurrence Nets (SONs), dataflow structures, gate-level circuits, etc. - all have an underlying static graph structure. Their semantics, however, is defined using additional entities, e.g. tokens or node/arc states, which in turn form the overall state of the system. We jointly refer to such formalisms as Interpreted Graph Models. The similarities in notation allow for links between different models to be created, such as interfaces between different formalisms or conversion from one model type into another, which greatly extend the range of applicable analysis techniques.

Workcraft is designed to provide a flexible common framework for development of Interpreted Graph Models, including visual editing, (co-)simulation and analysis. The latter can be carried out either directly or by mapping a model into a behaviourally equivalent model of a different type (usually a Petri Net). Hence the user can design a system using the most appropriate formalism (or even different formalisms for the subsystems), while still utilising the power of Petri Net analysis techniques. The tool is platform-independent, highly customisable by means of plug-ins, and is freely available for academic use.
[ http://workcraft.org/ ].

RMMixedAshur Rafiev
RMMixed is a mixed radix synthesis tool based on fixed polarity Reed-Muller expansions over Galois field arithmetic [1]. Taking into account the actual values for switching energy and area for arithmetic components the synthesis tool searches for the optimal solution with respect to the gate level characteristics.
[ http://async.org.uk/sure/rmmixed/ ].

OptiMistDanil Sokolov
OptiMist (Optimise and Map) is a package of tools that optimise Signal Transition Graph specifications and map them into asynchronous circuits.
[ http://async.org.uk/besst/optimist/ ].

ConfResAgnes Madalinski
Interactive Coding Conflict Resolver based on Core Visualisation The tool supports manual resolution of coding conflicts in asynchronous circuit specification given as Signal Transition Graphs (STGs) and displays them as partial orders (finite and complete prefixes of STG unfoldings). The manual approach although efficient requires a significant effort from the designer. The tool ConfRes assists the designer by visualising the conflict cores, their superposition and the constraints on signal insertion.
[ http://async.org.uk/besst/confres/ ].

LESTAAgnes MadalinskiLESTA stands for Logical-Effort-based Static Timing Analysis - "lesta" also is the female adjective for "quick" in Italian.LESTA is a tool which, given an STG and its relative Verilog netlist, outputs the delay information
for each input-to-output path of the STG. These delays are calculated using the Logical Effort method.
Alternatively the tool can calculate dthe delay information using characterised delay information. The tool requires a library file
which contains the Logical Effort and characterised information for all the gates present in the Verilog netlist.
[ http://async.org.uk/stella/lesta/ ].

TeLLADeepali KoppadTeLLA stands for TEsting of Low Latency Asynchronous circuits.
TeLLA is a tool for testing circuits obtained by direct mapping. TeLLA reads in a verilog netlist and generates a set of test vectors required to test the circuit. The verilog netlist must be obtained using the OptiMist tool available at [http://async.org.uk/besst/optimist/ ]. Using the -t (testing) option in OptiMist a netlist including the test features can be obtained.
TeLLa provides a table consisting of a list of test vectors, it also consists information on the time required to apply one test vector to the circuit, total number of test vectors and the total time to apply all the test vectors.
[ http://async.org.uk/stella/tella/ ].