Dennis Furey was due to give a talk for the BCS-FACS Specialist Group on 28 May 2020, but we have sadly had to postpone this indefinitely due to the COVID-19 crisis, along with all other planned talks for the moment.
However, he has recorded his talk and posted a video on YouTube and on his website. The one on his website is more easily downloadable for offline viewing and the one on YouTube is better for adding comments if you wish to do this.
Delay insensitive circuits provide an ideal opportunity for reasoning about concurrent systems in many ways: non-deterministic processes, multiple levels of abstraction, hard combinatorial problems, assorted bisimilar representations, and the need for a semantics of behavioural equivalence and refinement among others, all within a decidable theory.
This presentation will review some recent work on DI circuit design as a case study with the benefit of hindsight, leading to a general discussion of the fitness of formal methods for serving practitioners and the balance to be struck between innovation and familiarity.
Dr. Furey earned a Ph.D. in computing from Imperial College in 1994 followed by postdoctoral appointments at Queensland University of Technology and London South Bank University, and a visiting faculty appointment at California Institute of Technology. Since 2013, he has been an independent author and publisher.