Browse by Author

Browse by Year

Browsing publications by Dr Danil Sokolov

Newcastle AuthorsTitleYearFull text
Dr Frank Burns
Dr Danil Sokolov
Professor Alex Yakovlev
A Structured Visual Approach to GALS Modelling and Verification of Communication Circuits2017
Vladimir Dubikhin
Professor Christopher Myers
Dr Danil Sokolov
Ioannis Syranidis
Professor Alex Yakovlev
et al.
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems2017
Dr Andrey Mokhov
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Asynchronous Arbitration Primitives for New Generation of Circuits and Systems2017
Dr Danil Sokolov
Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis2017
Dr Danil Sokolov
Vladimir Dubikhin
Dr Victor Khomenko
Dr Andrey Mokhov
Professor Alex Yakovlev
et al.
Benefits of Asynchronous Control for Analog Electronics: Multiphase Buck Case Study2017
Issa Qiqieh
Dr Rishad Shafik
Dr Ghaith Tarawneh
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Energy-Efficient Approximate Multiplier Design using Bit Significance-Driven Logic Compression2017
Dr Victor Khomenko
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Formal Design and Verification of an Asynchronous SRAM Controller2017
Serhii Mileiko
Dr Alexander Kushnerov
Dr Danil Sokolov
Professor Alex Yakovlev
Self-timed control of two-phase switched capacitor converters2017
Dr Victor Khomenko
Dr Danil Sokolov
Dr Andrey Mokhov
Professor Alex Yakovlev
WAITX: An Arbiter for Non-Persistent Signals2017
Dr Frank Burns
Dr Danil Sokolov
Professor Alex Yakovlev
Analysis and Verification of Communication Fabrics2016
12345678