Latest news

2022-12-20 – Software update
Workcraft 3.3.9 is released (see changelog).

2022-09-14 – Publicity
Paper in IEEE Transaction on Computers about Workcraft design automation for synthesis of burst-mode automata:
- A. Chan et al: “Burst automaton: Framework for speed-independent synthesis using burst-mode specifications” (see IEEE Xplore or NCL ePrints).

2022-09-14 – Publicity
Presentation at FDL-2022 that acknowledges Workcraft:
- A. Chan et al: “Formal modelling of Burst-Mode specifications in a distributed environment”.

2022-07-21 – Software update
Workcraft 3.3.8 is released (see changelog).

2022-03-25 – Software update
Workcraft 3.3.7 is released (see changelog).

2017-11-15 – Site update
Documentation for Asynchronous Arbitration Primitives.

2017-11-01 – Software update
Workcraft 3.1.7 is released (see changelog).

2017-09-21 – Software update
Workcraft 3.1.6 is released (see changelog).

2017-09-07 – Publicity
Presentation at NGCAS-2017 that acknowledges Workcraft:
- A. Mokhov et al: “Asynchronous arbitration primitives for new generation of circuits and systems”.

2017-07-04 – Publicity
Workcraft is acknowledged in an invited talk at University of Bologna:
- A. Mokhov: “Workcraft: EDA Toolsuitefor Asynchronous Systems”.

2017-07-01 – Software update
Workcraft 3.1.5 is released (see changelog).

2017-05-23 – Publicity
Presentations at ASYNC-2017 that acknowledge Workcraft:
- J. Cortadella et al: “Waveform transition graphs: a designer-friendly formalism for asynchronous behaviours”.
- J. Fernandes et al: “Elastic bundles: modelling and synthesis of asynchronous circuits with granular rigidity”.
- V. Khomenko et al: “WAITX: an arbiter for non-persistent signals”.

2017-05-15 – Training
Tutorial at Dialog Semiconductor – Fundamental Principles and Advanced Techniques for Asynchronous Design.

2017-05-10 – Software update
Workcraft 3.1.4 is released (see changelog).

2017-04-30 – Site update
Practical materials – Initialisation of speed-independent circuits.

2017-04-20 – Site update
Practical materials – Hierarchical design of a realistic buck controller.

2017-03-30 – Publicity
Presentation at DATE-2017 that acknowledges Workcraft:
- D. Sokolov et al: “Benefits of asynchronous control for analog electronics: multiphase buck case study”.

2017-03-28 – Publicity
Demonstration of Workcraft in the University Booth at DATE-2017.

2017-02-02 – Software update
Workcraft 3.1.3 is released (see changelog).

2017-01-01 – Software update
Workcraft is now distributed under permissive MIT license (was copyleft GPLv3 before 2017).

2016-12-11 – Training
Tutorial at ICECS-2016 – Design Automation for AMS Circuits with Asynchronous Control.

2016-11-17 – Publicity
Presentations at ICSEE-2016 that acknowledge Workcraft:
- D. Sokolov et al: “Benefits of asynchronous control for analog electronics: a case study for multiphase buck”.
- S. Mileiko et al: “Self-timed control of two-phase switched capacitor converters”.

2016-09-21 – Software update
Workcraft 3.1.2 is released (see changelog).

2016-07-19 – Training
Tutorial at Newcastle University – Introduction to Workcraft.

2016-06-30 – Software update
Workcraft 3.1.1 is released (see changelog).

2016-06-01 – Training
Tutorial at Dialog Semiconductor – Design of asynchronous circuits.

2016-05-29 – Software update
Workcraft 3.1.0 is released (see changelog).

2016-05-26 – Software update
Workcraft is fully supported on OS X.

2016-05-20 – Teaching
Workcraft in the teaching process at Southampton University – support for teaching of asynchronous circuit design in the MSc System on Chip course.

2016-04-29 – Publicity
Presentation at NMI R&D Workshop: Analog and Mixed-Signal Design that acknowledges Workcraft:
- A. Yakovlev: “A4A: Asynchronous design for Analogue electronics”.

2016-04-10 – Software update
Workcraft 3.0.9 is released (see changelog).

2016-03-15 – Publicity
Demonstration of Workcraft in the University Booth at DATE-2016.

2016-03-01 – Teaching
Workcraft in the teaching process at Technical University of Denmark – lab exercises for the course 02204 Design of asynchronous circuits.

2016-02-25 – Site update
Workcraft source code repository has been moved from Launchpad to GitHub.

2016-02-01 – Teaching
Workcraft in the teaching process at Newcastle University – practicals for the course CSC3324: Understanding Concurrency.

2016-01-30 – Software update
Workcraft 3.0.8 is released (see changelog).

2016-01-04 – Software update
Workcraft 3.0.7 is released (see changelog).

2015-11-06 – Publicity
Presentation at FAC-2015 that acknowledges Workcraft:
- V. Dubikhin et al: “A workflow for the design of mixed-signal systems with asynchronous control”.

2015-11-02 – Software update
Workcraft 3.0.6 is released (see changelog).

2015-09-22 – Publicity
Presentation at MEMOCODE-2015 that acknowledges Workcraft:
- J. Beaumon et al: “Compositional design of asynchronous circuits from behavioural concepts”.

2015-09-11 – Publicity
Presentation at LASER-2015 that acknowledges Workcraft:
- A. de Gennaro et al: “Modelling concurrency in processor instruction sets”.

2015-08-03 – Software update
Workcraft 3.0.5 is released (see changelog).

2015-06-25 – Publicity
Presentation at ACSD-2015 that acknowledges Workcraft:
- A. de Gennaro et al: “A heuristic algorithm for deriving compact models of processor instruction sets”.

2015-06-22 – Training
Tutorial at ACSD-2015 – Modeling and verification of hardware.

2015-06-09 – Training
Tutorial at Dialog Semiconductor – Synthesis and verification of asynchronous circuits.

2015-05-29 – Training
Tutorial at IMEC – Self-timed circuit design: from enigma to reality.

2015-05-27 – Software update
Workcraft 3.0.4 is released (see changelog).

2015-05-15 – Publicity
Workcraft is acknowledged in an invited talk at Sapienza University of Rome:
- A.Mokhov: “Algebra of parameterised graphs”.

2015-05-05 – Publicity
Presentations at ASYNC-2015 that acknowledge Workcraft:
- D.Sokolov et al: “Design and verification of speed-independent multiphase buck controller”.
- A.Mokhov et al: “Opportunistic merge element”.
- G.Miorandi et al: “Increasing impartiality and robustness in high-performance N-way asynchronous arbiters”.

2015-03-09 – Publicity
Demonstration of Workcraft in the University Booth at DATE-2015.

2015-02-12 – Site update
Practical materials on modelling causality and concurrency.

2015-02-01 – Teaching
Workcraft in the teaching process at Newcastle University – practicals for the course CSC3324: Understanding Concurrency.

2015-01-26 – Software update
Workcraft 3.0.3 is released (see changelog).

2015-01-26 – Software update
Workcraft 3.0.2 is released (see changelog).

Log for 2013 and earlier