overview:news
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).
- 2021-11-19 – Software update
Workcraft 3.3.6 is released (see changelog).
- 2021-09-07 – Publicity
Presentation at ASYNC-2021 that acknowledges Workcraft:- A. Kushnerov et al: “Towards hazard-free multiplexer based implementation of self-timed circuits”.
- 2021-08-11 – Software update
Workcraft 3.3.5 is released (see changelog).
- 2021-05-21 – Software update
Workcraft 3.3.4 is released (see changelog).
- 2021-04-19 – Software update
Workcraft 3.3.3 is released (see changelog).
- 2020-11-25 – Software update
Workcraft 3.3.2 is released (see changelog).
- 2020-09-28 – Software update
Workcraft 3.3.1 is released (see changelog).
- 2020-08-09 – Site update
Workcraft website migrated to the latest stable Dokuwiki (Release 2020-07-29 “Hogfather”).
- 2020-06-26 – Software update
Workcraft 3.3.0 is released (see changelog).
- 2020-05-17 – Publicity
Presentation at ASYNC-2020 that acknowledges Workcraft:- V. Khomenko et al: “Handshake verification in Workcraft”.
- 2020-04-01 – Publicity
Workcraft is featured at OpenHub.
- 2020-03-11 – Publicity
Workcraft development is evaluated at CII Best Practices.
- 2020-02-29 – Software update
Workcraft 3.2.6 is released (see changelog).
- 2020-02-11 – Publicity
Paper in IEEE TVLSI on Workcraft design automation for reconfigurable dataflows:- A. de Gennaro et al: “Design and Implementation of Reconfigurable Asynchronous Pipelines” (see NCL ePrints).
- 2019-11-21 – Software update
Workcraft 3.2.5 is released (see changelog).
- 2019-07-31 – Software update
Workcraft 3.2.4 is released (see changelog).
- 2019-07-11 – Training
Tutorial at Dialog Semiconductor, Germering, Germany – Advanced Design of Asynchronous Circuits.
- 2019-07-03 – Site update
Practical materials – Loop breaking and offline testing.
- 2019-06-27 – Publicity
Presentation at ACSD-2019 that acknowledges Workcraft:- S. Golubcovs et al: “Generalised Asynchronous Arbiter”.
- 2019-06-13 – Training
Tutorial at Dialog Semiconductor, Edinburgh, UK – Introduction to Asynchronous Circuits.
- 2019-06-01 – Software update
Workcraft 3.2.3 is released (see changelog).
- 2019-05-14 – Publicity
Presentations at ASYNC-2019 that acknowledge Workcraft:- A. Moreno et al: “Synthesis from Waveform Transition Graphs”.
- 2019-03-27 – Publicity
Breaking-through paper in IEEE TCAD on Workcraft design automation for asynchronous “little digital” control logic in AMS systems:- D. Sokolov et al: “Automating the Design of Asynchronous Logic Control for AMS Electronics” (see IEEE Xplore or NCL ePrints).
- 2019-03-26 – Publicity
Demonstration of Workcraft in the University Booth at DATE-2019.
- 2019-02-01 – Software update
Workcraft 3.2.2 is released (see changelog).
- 2018-11-01 – Software update
Workcraft 3.2.1 is released (see changelog).
- 2018-07-31 – Training
Tutorial at Dialog Semiconductor – Design of Asynchronous Circuits: From Fundamental Principles to Advanced Techniques.
- 2018-06-30 – Software update
Workcraft 3.2.0 is released (see changelog).
- 2018-05-27 – Publicity
Tutorial at ISCAS-2018 that acknowledge Workcraft:
- 2018-05-21 – Training
Tutorial at Dialog Semiconductor – Fundamental Principles and Advanced Techniques for Asynchronous Design.
- 2018-05-18 – Site update
Practical materials – Verification and synthesis of hierarchical designs.
- 2018-05-14 – Publicity
Presentations at ASYNC-2018 that acknowledge Workcraft:- D. Sokolov et al: “Design and verification of speed-independent circuits with arbitration in Workcraft”.
- G. Tarawneh et al: “Formal verification of mixed synchronous asynchronous systems using industrial tools”.
- O. Benafa et al: “Loadable Kessels counter”.
- 2018-05-10 – Site update
Practical materials – Logic decomposition and technology mapping.
- 2018-03-22 – Publicity
Presentation at DATE-2018 that acknowledges Workcraft:- D. Sokolov et al: “Reconfigurable asynchronous pipelines: from formal models to silicon”.
- 2018-03-20 – Publicity
Demonstration of Workcraft in the University Booth at DATE-2018.
- 2018-02-28 – Software update
Workcraft 3.1.9 is released (see changelog).
- 2018-01-01 – Software update
Workcraft 3.1.8 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-06-30 – Software update
Workcraft 3.1.1 is released (see changelog).
- 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-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-09 – Training
Tutorial at Dialog Semiconductor – Synthesis and verification of asynchronous circuits.
- 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).
- 2014-11-18 – Training
Tutorial at Dialog Semiconductor – Synthesis and verification of asynchronous circuits.
- 2014-11-05 – Publicity
Workcraft acknowledged in seminar presentation at Saint Petersburg State University:- A.Mokhov: “Algebra of parameterised graphs”.
- 2014-11-05 – Site update
Practical material on synthesis and verification of asynchronous circuits.
- 2014-11-01 – Software update
Workcraft 3.0.1 is released (see changelog).
- 2014-10-01 – Software update
Workcraft 3.0.0 is released (see changelog).
- 2014-09-17 – Publicity
Workcraft acknowledged in presentation at Dagstuhl Seminar 14381:- A.Mokhov: “Mining graphs from event logs”.
- 2014-07-21 – Publicity
Workcraft acknowledged in seminar presentation at Polytechnic University of Catalonia:- A.Mokhov: “Algebra of parameterised graphs”.
- 2014-07-20 – Software update
Workcraft 2.0 is released (see changelog).
- 2014-05-28 – Publicity
Workcraft acknowledged in seminar presentation at LSV Cahan:- A.Mokhov: “Algebra of parameterised graphs”.
- 2014-05-23 – Publicity
Workcraft acknowledged in seminar presentation at Microsoft Research Cambridge:- A.Mokhov: “Algebra of parameterised graphs”.
- 2014-05-14 – Publicity
Demonstration of Workcraft at ASYNC-2014.
- 2014-05-13 – Publicity
Presentation at ASYNC-2014 that acknowledges Workcraft:- D.Sokolov, A.Yakovlev: “GALS partitioning by behavioural decoupling expressed in Petri nets”.
- 2014-05-05 – Publicity
Presentation at FTFC-2014 that acknowledges Workcraft:- D.Sokolov et al: “Towards asynchronous power management”.
- 2013-11-18 – Publicity
Demonstration of Workcraft at Maxeler Technologies.
- 2013-06-20 – Publicity
Presentation at FTFC-2013 that acknowledges Workcraft:- A.Mokhov et al: “Architecting an adaptable processor: modelling and implementation”.
- 2011-08-17 – Training
Tutorial at Vienna Technical University, Austria.
- 2009-05-18 – Publicity - Presentation at ASYNC-2009 that acknowledges Workcraft:
- S.Golubcovs et al: Modular approach to multi-resource arbiter design.
- 2008-04-01 – Software update
Workcraft 1.0 is released.
- 2008-03-10 – Publicity
Demonstration of Workcraft in the University Booth at DATE-2008.
- 2007-04-16 – Publicity
Demonstration of Workcraft in the University Booth at DATE-2007.
Copyright © 2014-2021 workcraft.org
