Danil Sokolov - RankMe

66 papers A* 1A 9B 2C 7Journal 16Unranked 31

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