Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Professor David Lloyd.
Newcastle Authors
Title
Year
Full 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 Specifications
2022
Dr Alex Chan
Dr Danil Sokolov
Dr Victor Khomenko
Professor David Lloyd
Professor Alex Yakovlev
et al.
Synthesis of SI Circuits from Burst-Mode Specifications
2021
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Professor David Lloyd
Handshake Verification in Workcraft
2020