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 |
|
