User Tools

Site Tools


overview:news

Latest news

  • 2018-05-14 – Publicity
    Presentations at ASYNC-2018 that acknowledges 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:
    • 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).

Log for 2017

Log for 2016

Log for 2015

Log for 2014

Before 2014