Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor David Lloyd.

Newcastle AuthorsTitleYearFull text
Dr Alex Chan
Dr Danil Sokolov
Dr Victor Khomenko
Professor David Lloyd
Professor Alex Yakovlev
et al.
Burst Automaton: Framework for Speed-Independent Synthesis using Burst-Mode Specifications2022
Dr Alex Chan
Dr Danil Sokolov
Dr Victor Khomenko
Professor David Lloyd
Professor Alex Yakovlev
et al.
Synthesis of SI Circuits from Burst-Mode Specifications2021
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Professor David Lloyd
Handshake Verification in Workcraft2020