Danil Sokolov

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 34

Top Topics

Asynchronous Circuits

Rolling Shutter

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev
Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs. ASPDAC (2024)
Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev
Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (5) (2023)
Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev
Formal Modelling of Burst-Mode Specifications in a Distributed Environment. FDL (2022)
Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev
Synthesis of SI Circuits from Burst-Mode Specifications. DATE (2021)
Thanasin Bunnam, Ahmed Soltan, Danil Sokolov, Alex Yakovlev, Oleg V. Maevsky
Toward Designing Thermally-Aware Memristance Decoder. ISCAS (2020)
Thanasin Bunnam, Ahmed Soltan, Danil Sokolov, Oleg V. Maevsky, Patrick Degenaar, Alex Yakovlev
Empirical Temperature Model of Self-Directed Channel Memristor. IEEE SENSORS (2020)
Victor Khomenko, Danil Sokolov, Alex Yakovlev, David Lloyd
Handshake Verification in WORKCRAFT. ASYNC (2020)
Alessandro de Gennaro, Danil Sokolov, Andrey Mokhov
Design and Implementation of Reconfigurable Asynchronous Pipelines. IEEE Trans. Very Large Scale Integr. Syst. 28 (6) (2020)
Danil Sokolov, Victor Khomenko, Andrey Mokhov, Vladimir Dubikhin, David Lloyd, Alex Yakovlev
Automating the Design of Asynchronous Logic Control for AMS Electronics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (5) (2020)
Thanasin Bunnam, Ahmed Soltan, Danil Sokolov, Oleg V. Maevsky, Alex Yakovlev
Toward Designing Thermally-Aware Memristance Decoder. IEEE Trans. Circuits Syst. I Regul. Pap. (11) (2019)
Adrian Wheeldon, Jordan Morris, Danil Sokolov, Alex Yakovlev
Self-timed, minimum latency circuits for the internet of things. Integr. 69 (2019)
Alberto Moreno, Danil Sokolov, Jordi Cortadella
Synthesis from Waveform Transition Graphs. ASYNC (2019)
Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev
Generalised Asynchronous Arbiter. ACSD (2019)
Oyinkuro Benafa, Danil Sokolov, Alex Yakovlev
Loadable Kessels Counter. ASYNC (2018)
Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev
High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (1) (2018)
Danil Sokolov, Victor Khomenko, Alex Yakovlev, David Lloyd
Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft. ASYNC (2018)
Thanasin Bunnam, Ahmed Soltan, Danil Sokolov, Alex Yakovlev
An Excitation Time Model for General-purpose Memristance Tuning Circuit. ISCAS (2018)
Issa Qiqieh, Rishad A. Shafik, Ghaith Tarawneh, Danil Sokolov, Shidhartha Das, Alexandre Yakovlev
Significance-Driven Logic Compression for Energy-Efficient Multiplier Design. IEEE J. Emerg. Sel. Topics Circuits Syst. 8 (3) (2018)
Danil Sokolov, Alessandro de Gennaro, Andrey Mokhov
Reconfigurable asynchronous pipelines: From formal models to silicon. DATE (2018)
Johnson Fernandes, Danil Sokolov, Alex Yakovlev
Elastic Bundles: Modelling and Synthesis of Asynchronous Circuits with Granular Rigidity. ASYNC (2017)
Andrey Mokhov, Danil Sokolov, Victor Khomenko, Alex Yakovlev
Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. NGCAS (2017)
Victor Khomenko, Danil Sokolov, Andrey Mokhov, Alex Yakovlev
WAITX: An Arbiter for Non-persistent Signals. ASYNC (2017)
Danil Sokolov, Vladimir Dubikhin, Victor Khomenko, David Lloyd, Andrey Mokhov, Alex Yakovlev
Benefits of asynchronous control for analog electronics: Multiphase buck case study. DATE (2017)
Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev
Formal Design and Verification of an Asynchronous SRAM Controller. ACSD (2017)
Vladimir Dubikhin, Chris J. Myers, Danil Sokolov, Ioannis Syranidis, Alexandre Yakovlev
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited. DAC (2017)
Sergey Mileiko, Alexander Kushnerov, Danil Sokolov, Alex Yakovlev
Self-timed control of multiphase switched capacitor converters. ECCTD (2017)
Thanasin Bunnam, Ahmed Soltan, Danil Sokolov, Alex Yakovlev
Pulse controlled memristor-based delay element. PATMOS (2017)
Jordi Cortadella, Alberto Moreno, Danil Sokolov, Alex Yakovlev, David Lloyd
Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours. ASYNC (2017)
Issa Qiqieh, Rishad A. Shafik, Ghaith Tarawneh, Danil Sokolov, Alex Yakovlev
Energy-efficient approximate multiplier design using bit significance-driven logic compression. DATE (2017)
Frank P. Burns, Danil Sokolov, Alex Yakovlev
A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (6) (2017)
Issa Qiqieh, Rishad A. Shafik, Ghaith Tarawneh, Danil Sokolov, Shidhartha Das, Alex Yakovlev
Energy-efficient approximate wallace-tree multiplier using significance-driven logic compression. SiPS (2017)
Adrian Wheeldon, Jordan Morris, Danil Sokolov, Alex Yakovlev
Power proportional adder design for Internet of Things in a 65 nm process. PATMOS (2017)
Mahdi Jelodari Mamaghani, Danil Sokolov, Jim D. Garside
Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis. ACSD (2016)
Vladimir Dubikhin, Danil Sokolov, Alex Yakovlev, Chris J. Myers
Design of Mixed-Signal Systems With Asynchronous Control. IEEE Des. Test 33 (5) (2016)
Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev
Opportunistic Merge Element. ASYNC (2015)
Hubin Zhao, Fahimeh Dehkhoda, Reza Ramezani, Danil Sokolov, Patrick Degenaar, Yan Liu, Timothy G. Constandinou
A CMOS-based neural implantable optrode for optogenetic stimulation and electrical recording. BioCAS (2015)
Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev
Compositional design of asynchronous circuits from behavioural concepts. MEMOCODE (2015)
Nabeel Fattah, Soumyasanta Laha, Danil Sokolov, Graeme Chester, Patrick Degenaar
Wireless data and power transfer of an optogenetic implantable visual cortex stimulator. EMBC (2015)
Frank P. Burns, Danil Sokolov, Alexandre Yakovlev
GALS synthesis and verification for xMAS models. DATE (2015)
Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
Persistent and Nonviolent Steps and the Design of GALS Systems. Fundam. Informaticae 137 (1) (2015)
Danil Sokolov, Victor Khomenko, Andrey Mokhov, Alex Yakovlev, David Lloyd
Design and Verification of Speed-Independent Multiphase Buck Controller. ASYNC (2015)
Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov
Design of safety critical systems by refinement. DATE (2014)
Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander B. Romanovsky
Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Trans. Computers 63 (6) (2014)
Hubin Zhao, Danil Sokolov, Patrick Degenaar
An implantable optrode with Self-diagnostic function in 0.35µm CMOS for optical neural stimulation. BioCAS (2014)
Danil Sokolov, Alex Yakovlev
GALS Partitioning by Behavioural Decoupling Expressed in Petri Nets. ASYNC (2014)
Maxim Rykunov, Andrey Mokhov, Danil Sokolov, Alex Yakovlev, Albert Koelmans
Design-for-adaptivity of microarchitectures. ASAP (2013)
Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
Step Persistence in the Design of GALS Systems. Petri Nets (2013)
Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness. ACSD (2012)
Fei Xia, Andrey Mokhov, Yu Zhou, Yifan Chen, Isi Mitrani, Delong Shang, Danil Sokolov, Alexandre Yakovlev
Towards power-elastic systems through concurrency management. IET Comput. Digit. Tech. 6 (1) (2012)
Andrey Mokhov, Danil Sokolov, Alex Yakovlev
Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation. ASYNC (2012)
Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev
Formal modelling and transformations of processor instruction sets. MEMOCODE (2011)
Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev
Analysis of Static Data Flow Structures. Fundam. Informaticae 88 (4) (2008)
Ivan Poliakov, Andrey Mokhov, Ashur Rafiev, Danil Sokolov, Alex Yakovlev
Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. ASYNC (2008)
Ashur Rafiev, Julian P. Murphy, Danil Sokolov, Alexandre Yakovlev
Conversion driven design of binary to mixed radix circuits. ICCD (2008)
Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev
Asynchronous Data Path Models. ACSD (2007)
Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev
Direct Mapping of Low-Latency Asynchronous Controllers From STGs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (6) (2007)
Delong Shang, Alexandre Yakovlev, Albert Koelmans, Danil Sokolov, Alexandre V. Bystrov
Registers for Phase Difference Based Logic. IEEE Trans. Very Large Scale Integr. Syst. 15 (6) (2007)
Ivan Poliakov, Danil Sokolov, Andrey Mokhov
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. ICATPN (2007)
Deepali Koppad, Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev
Online Testing by Protocol Decomposition. IOLTS (2006)
Yu Zhou, Danil Sokolov, Alexandre Yakovlev
Cost-aware synthesis of asynchronous circuits based on partial acknowledgement. ICCAD (2006)
Danil Sokolov, Julian P. Murphy, Alexandre V. Bystrov, Alexandre Yakovlev
Design and Analysis of Dual-Rail Circuits for Security Applications. IEEE Trans. Computers 54 (4) (2005)
Danil Sokolov, Julian P. Murphy, Alexandre V. Bystrov, Alexandre Yakovlev
Improving the Security of Dual-Rail Circuits. CHES (2004)
Delong Shang, Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Danil Sokolov, Alexandre Yakovlev
A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits. PATMOS (2004)
Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev
STG Optimisation in the Direct Mapping of Asynchronous Circuits . DATE (2003)
Alexandre V. Bystrov, Danil Sokolov, Alexandre Yakovlev
Low-Latency Contro Structures with Slack. ASYNC (2003)