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 acknowledges 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).
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-23 – 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 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.