====== Latest news ====== * **2022-12-20 -- Software update**\\ Workcraft 3.3.9 is released (see [[:changelog:v3.3.9|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 [[https://ieeexplore.ieee.org/document/9889785|IEEE Xplore]] or [[https://eprint.ncl.ac.uk/285053|NCL ePrints]]). * **2022-09-14 -- Publicity**\\ Presentation at [[https://fdl-conference.com/|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:v3.3.8|changelog]]). * **2022-03-25 -- Software update**\\ Workcraft 3.3.7 is released (see [[:changelog:v3.3.7|changelog]]). ++++ Log for 2021 | * **2021-11-19 -- Software update**\\ Workcraft 3.3.6 is released (see [[:changelog:v3.3.6|changelog]]). * **2021-09-07 -- Publicity**\\ Presentation at [[https://asyncsymposium.org/async2021/|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:v3.3.5|changelog]]). * **2021-05-21 -- Software update**\\ Workcraft 3.3.4 is released (see [[:changelog:v3.3.4|changelog]]). * **2021-04-19 -- Software update**\\ Workcraft 3.3.3 is released (see [[:changelog:v3.3.3|changelog]]). ++++ ++++ Log for 2020 | * **2020-11-25 -- Software update**\\ Workcraft 3.3.2 is released (see [[:changelog:v3.3.2|changelog]]). * **2020-09-28 -- Software update**\\ Workcraft 3.3.1 is released (see [[:changelog:v3.3.1|changelog]]). * **2020-08-09 -- Site update**\\ Workcraft website migrated to the latest stable [[https://dokuwiki.org/|Dokuwiki]] (Release 2020-07-29 "Hogfather"). * **2020-06-26 -- Software update**\\ Workcraft 3.3.0 is released (see [[:changelog:v3.3.0|changelog]]). * **2020-05-17 -- Publicity**\\ Presentation at [[https://asyncsymposium.org/async2020/|ASYNC-2020]] that acknowledges Workcraft: * V. Khomenko //et al//: //"Handshake verification in Workcraft"//. * **2020-04-01 -- Publicity**\\ Workcraft is featured at [[https://www.openhub.net/p/workcraft|OpenHub]]. * **2020-03-11 -- Publicity**\\ Workcraft development is evaluated at [[https://bestpractices.coreinfrastructure.org/en/projects/3775|CII Best Practices]]. * **2020-02-29 -- Software update**\\ Workcraft 3.2.6 is released (see [[:changelog:v3.2.6|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 [[https://eprint.ncl.ac.uk/263484|NCL ePrints]]). ++++ ++++ Log for 2019 | * **2019-11-21 -- Software update**\\ Workcraft 3.2.5 is released (see [[:changelog:v3.2.5|changelog]]). * **2019-07-31 -- Software update**\\ Workcraft 3.2.4 is released (see [[:changelog:v3.2.4|changelog]]). * **2019-07-11 -- Training**\\ Tutorial at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Germering, Germany -- //[[:training:20190711-dialog:start|Advanced Design of Asynchronous Circuits]]//. * **2019-07-03 -- Site update**\\ Practical materials -- [[tutorial:method:loop_breaking:start|Loop breaking and offline testing]]. * **2019-06-27 -- Publicity**\\ Presentation at [[http://www.petrinets2019.de/acsd-2019/|ACSD-2019]] that acknowledges Workcraft: * S. Golubcovs //et al//: //"Generalised Asynchronous Arbiter"//. * **2019-06-13 -- Training**\\ Tutorial at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Edinburgh, UK -- //[[:training:20190613-dialog:start|Introduction to Asynchronous Circuits]]//. * **2019-06-01 -- Software update**\\ Workcraft 3.2.3 is released (see [[:changelog:v3.2.3|changelog]]). * **2019-05-14 -- Publicity**\\ Presentations at [[http://asyncsymposium.org/|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 [[https://ieeexplore.ieee.org/document/8675314|IEEE Xplore]] or [[https://eprint.ncl.ac.uk/255710|NCL ePrints]]). * **2019-03-26 -- Publicity**\\ Demonstration of Workcraft in the University Booth at [[http://www.date-conference.com/|DATE-2019]]. * **2019-02-01 -- Software update**\\ Workcraft 3.2.2 is released (see [[:changelog:v3.2.2|changelog]]). ++++ ++++ Log for 2018 | * **2018-11-01 -- Software update**\\ Workcraft 3.2.1 is released (see [[:changelog:v3.2.1|changelog]]). * **2018-07-31 -- Training**\\ Tutorial at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]] -- //[[:training:20180731-dialog:start|Design of Asynchronous Circuits: From Fundamental Principles to Advanced Techniques]]//. * **2018-06-30 -- Software update**\\ Workcraft 3.2.0 is released (see [[:changelog:v3.2.0|changelog]]). * **2018-05-27 -- Publicity**\\ Tutorial at [[http://www.iscas2018.org/|ISCAS-2018]] that acknowledge Workcraft: * [[http://www.iscas2018.org/am7/|From Emerging Applications, the Quest for Asynchronous Circuits and Systems]] * **2018-05-21 -- Training**\\ Tutorial at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]] -- //[[:training:20180521-dialog:start|Fundamental Principles and Advanced Techniques for Asynchronous Design]]//. * **2018-05-18 -- Site update**\\ Practical materials -- [[tutorial:method:hierarchical_design:start|Verification and synthesis of hierarchical designs]]. * **2018-05-14 -- Publicity**\\ Presentations at [[http://asyncsymposium.org/|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 -- [[tutorial:method:technology_mapping:start|Logic decomposition and technology mapping]]. * **2018-03-22 -- Publicity**\\ Presentation at [[http://www.date-conference.com/|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 [[http://www.date-conference.com/|DATE-2018]]. * **2018-02-28 -- Software update**\\ Workcraft 3.1.9 is released (see [[:changelog:v3.1.9|changelog]]). * **2018-01-01 -- Software update**\\ Workcraft 3.1.8 is released (see [[:changelog:v3.1.8|changelog]]). ++++ ++++ Log for 2017 | * **2017-11-15 -- Site update**\\ Documentation for [[:a2a:start|Asynchronous Arbitration Primitives]]. * **2017-11-01 -- Software update**\\ Workcraft 3.1.7 is released (see [[:changelog:v3.1.7|changelog]]). * **2017-09-21 -- Software update**\\ Workcraft 3.1.6 is released (see [[:changelog:v3.1.6|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:v3.1.5|changelog]]). * **2017-05-23 -- Publicity**\\ Presentations at [[http://asyncsymposium.org/|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 [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]] -- //[[:training:20170515-dialog:start|Fundamental Principles and Advanced Techniques for Asynchronous Design]]//. * **2017-05-10 -- Software update**\\ Workcraft 3.1.4 is released (see [[:changelog:v3.1.4|changelog]]). * **2017-04-30 -- Site update**\\ Practical materials -- [[tutorial:method:initialisation:start|Initialisation of speed-independent circuits]]. * **2017-04-20 -- Site update**\\ Practical materials -- [[tutorial:design:hierarchical_buck:start|Hierarchical design of a realistic buck controller]]. * **2017-03-30 -- Publicity**\\ Presentation at [[http://www.date-conference.com/|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 [[http://www.date-conference.com/|DATE-2017]]. * **2017-02-02 -- Software update**\\ Workcraft 3.1.3 is released (see [[:changelog:v3.1.3|changelog]]). * **2017-01-01 -- Software update**\\ Workcraft is now distributed under //permissive// [[:download:license|MIT license]] (was //copyleft// GPLv3 before 2017). ++++ ++++ Log for 2016 | * **2016-12-11 -- Training**\\ Tutorial at [[http://icecs.isep.fr/|ICECS-2016]] -- //[[:training:20161211-icecs:start|Design Automation for AMS Circuits with Asynchronous Control]]//. * **2016-11-17 -- Publicity**\\ Presentations at [[http://www.ieee.org.il/icsee-2016/|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:v3.1.2|changelog]]). * **2016-07-19 -- Training**\\ Tutorial at [[http://www.ncl.ac.uk/|Newcastle University]] -- //[[:training:20160719-newcastle:start|Introduction to Workcraft]]//. * **2016-06-30 -- Software update**\\ Workcraft 3.1.1 is released (see [[:changelog:v3.1.1|changelog]]). * **2016-06-01 -- Training**\\ Tutorial at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]] -- //[[:training:20160601-dialog:start|Design of asynchronous circuits]]//. * **2016-05-29 -- Software update**\\ Workcraft 3.1.0 is released (see [[:changelog:v3.1.0|changelog]]). * **2016-05-26 -- Software update**\\ Workcraft is fully supported on OS X. * **2016-05-20 -- Teaching**\\ Workcraft in the teaching process at [[http://www.ecs.soton.ac.uk/|Southampton University]] -- support for teaching of asynchronous circuit design in the [[http://www.ecs.soton.ac.uk/programmes/msc-system-chip|MSc System on Chip]] course. * **2016-04-29 -- Publicity**\\ Presentation at [[https://nmi.org.uk/event/nmi-rd-workshop-analog-and-mixed-signal-design/|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:v3.0.9|changelog]]). * **2016-03-15 -- Publicity**\\ Demonstration of Workcraft in the University Booth at [[http://www.date-conference.com/|DATE-2016]]. * **2016-03-01 -- Teaching**\\ Workcraft in the teaching process at [[http://www.dtu.dk/|Technical University of Denmark]] -- lab exercises for the course [[http://www.kurser.dtu.dk/02204.aspx?menulanguage=en-gb|02204 Design of asynchronous circuits]]. * **2016-02-25 -- Site update**\\ Workcraft source code repository has been moved from [[https://launchpad.net/workcraft|Launchpad]] to [[https://github.com/workcraft/workcraft|GitHub]]. * **2016-02-01 -- Teaching**\\ Workcraft in the teaching process at [[http://www.ncl.ac.uk/|Newcastle University]] -- practicals for the course [[http://www.ncl.ac.uk/computing/study/module/CSC3324|CSC3324: Understanding Concurrency]]. * **2016-01-30 -- Software update**\\ Workcraft 3.0.8 is released (see [[:changelog:v3.0.8|changelog]]). * **2016-01-04 -- Software update**\\ Workcraft 3.0.7 is released (see [[:changelog:v3.0.7|changelog]]). ++++ ++++ Log for 2015 | * **2015-11-06 -- Publicity**\\ Presentation at [[http://users.ece.cmu.edu/~xinli/2015_fac/index.html|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:v3.0.6|changelog]]). * **2015-09-22 -- Publicity**\\ Presentation at [[http://memocode.irisa.fr/2015/|MEMOCODE-2015]] that acknowledges Workcraft: * J. Beaumon //et al//: //"Compositional design of asynchronous circuits from behavioural concepts"//. * **2015-09-11 -- Publicity**\\ Presentation at [[http://laser.inf.ethz.ch/2015/|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:v3.0.5|changelog]]). * **2015-06-25 -- Publicity**\\ Presentation at [[http://www.ulb.ac.be/di/verif/acsd2015/|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 [[http://www.ulb.ac.be/di/verif/acsd2015/|ACSD-2015]] -- //[[:training:20150622-acsd:start|Modeling and verification of hardware]]//. * **2015-06-09 -- Training**\\ Tutorial at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]] -- //[[:training:20150609-dialog:start|Synthesis and verification of asynchronous circuits]]//. * **2015-05-29 -- Training**\\ Tutorial at [[http://www2.imec.be/be_en/home.html|IMEC]] -- //[[:training:20150529-imec:start|Self-timed circuit design: from enigma to reality]]//. * **2015-05-27 -- Software update**\\ Workcraft 3.0.4 is released (see [[:changelog:v3.0.4|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 [[http://asyncsymposium.org/|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 [[http://www.date-conference.com/|DATE-2015]]. * **2015-02-12 -- Site update**\\ Practical materials on [[:tutorial:start|modelling causality and concurrency]]. * **2015-02-01 -- Teaching**\\ Workcraft in the teaching process at [[http://www.ncl.ac.uk/|Newcastle University]] -- practicals for the course [[http://www.ncl.ac.uk/computing/study/module/CSC3324|CSC3324: Understanding Concurrency]]. * **2015-01-26 -- Software update**\\ Workcraft 3.0.3 is released (see [[:changelog:v3.0.3|changelog]]). * **2015-01-26 -- Software update**\\ Workcraft 3.0.2 is released (see [[:changelog:v3.0.2|changelog]]). ++++ ++++ Log for 2014 | * **2014-11-18 -- Training**\\ Tutorial at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]] -- //[[:training:20141118-dialog:start|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 [[:tutorial:start|synthesis and verification of asynchronous circuits]]. * **2014-11-01 -- Software update**\\ Workcraft 3.0.1 is released (see [[:changelog:v3.0.1|changelog]]). * **2014-10-01 -- Software update**\\ Workcraft 3.0.0 is released (see [[:changelog:v3.0.0|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:workcraft_2_series|changelog]]). * **2014-05-28 -- Publicity**\\ Workcraft acknowledged in seminar presentation at [[http://www.lsv.ens-cachan.fr/|LSV Cahan]]: * A.Mokhov: //"Algebra of parameterised graphs"//. * **2014-05-23 -- Publicity**\\ Workcraft acknowledged in seminar presentation at [[http://research.microsoft.com/en-us/labs/cambridge/|Microsoft Research Cambridge]]: * A.Mokhov: //"Algebra of parameterised graphs"//. * **2014-05-14 -- Publicity**\\ Demonstration of Workcraft at [[http://asyncsymposium.org/|ASYNC-2014]]. * **2014-05-13 -- Publicity**\\ Presentation at [[http://asyncsymposium.org/|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"//. ++++ ++++ Log for 2013 and earlier | * **2013-11-18 -- Publicity**\\ Demonstration of Workcraft at [[https://www.maxeler.com/|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 [[http://asyncsymposium.org/|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 [[http://www.date-conference.com/|DATE-2008]]. * **2007-04-16 -- Publicity**\\ Demonstration of Workcraft in the University Booth at [[http://www.date-conference.com/|DATE-2007]]. ++++