overview:news
Latest news
2022-12-20 – Software update
Workcraft 3.3.9 is released (see
changelog).
2022-09-14 – Publicity
Presentation at
FDL-2022 that acknowledges Workcraft:
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).
Log for 2021
2021-11-19 – Software update
Workcraft 3.3.6 is released (see
changelog).
2021-09-07 – Publicity
Presentation at
ASYNC-2021 that acknowledges Workcraft:
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).
Log for 2020
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:
2020-04-01 – Publicity
Workcraft is featured at
OpenHub.
2020-02-29 – Software update
Workcraft 3.2.6 is released (see
changelog).
Log for 2019
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-06-27 – Publicity
Presentation at
ACSD-2019 that acknowledges Workcraft:
2019-06-01 – Software update
Workcraft 3.2.3 is released (see
changelog).
2019-05-14 – Publicity
Presentations at
ASYNC-2019 that acknowledge Workcraft:
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).
Log for 2018
2018-11-01 – Software update
Workcraft 3.2.1 is released (see
changelog).
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-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-03-22 – Publicity
Presentation at
DATE-2018 that acknowledges Workcraft:
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).
Log for 2017
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-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-10 – Software update
Workcraft 3.1.4 is released (see
changelog).
2017-03-30 – Publicity
Presentation at
DATE-2017 that acknowledges Workcraft:
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).
Log for 2016
2016-11-17 – Publicity
Presentations at
ICSEE-2016 that acknowledge Workcraft:
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-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-02-25 – Site update
Workcraft source code repository has been moved from
Launchpad to
GitHub.
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).
Log for 2015
2015-11-06 – Publicity
Presentation at
FAC-2015 that acknowledges Workcraft:
2015-11-02 – Software update
Workcraft 3.0.6 is released (see
changelog).
2015-09-22 – Publicity
Presentation at
MEMOCODE-2015 that acknowledges Workcraft:
2015-09-11 – Publicity
Presentation at
LASER-2015 that acknowledges Workcraft:
2015-08-03 – Software update
Workcraft 3.0.5 is released (see
changelog).
2015-06-25 – Publicity
Presentation at
ACSD-2015 that acknowledges Workcraft:
2015-05-27 – Software update
Workcraft 3.0.4 is released (see
changelog).
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-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 2014
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-07-20 – Software update
Workcraft 2.0 is released (see
changelog).
2014-05-28 – Publicity
Workcraft acknowledged in seminar presentation at
LSV Cahan:
2014-05-14 – Publicity
Demonstration of Workcraft at
ASYNC-2014.
2014-05-13 – Publicity
Presentation at
ASYNC-2014 that acknowledges Workcraft:
Log for 2013 and earlier
2009-05-18 – Publicity - Presentation at
ASYNC-2009 that acknowledges Workcraft:
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