( en | de | ru )

 

Disambiguation of "Sokolov, Danil"

Author of the publication

copydeleteadd this publication to your clipboard
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited.

, , , , and . DAC, page 36:1-36:6. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Danil Gorinevski

Danil Korobitsyn

Igor Sokolov

Andrei Sokolov

Viatcheslav Sokolov

 

Other publications of authors with the same name

Synthesis of SI Circuits from Burst-Mode Specifications., , , , and . DATE, page 366-369. IEEE, (2021)A CMOS-based neural implantable optrode for optogenetic stimulation and electrical recording., , , , , , and . BioCAS, page 1-4. IEEE, (2015)GALS synthesis and verification for xMAS models., , and . DATE, page 1419-1424. ACM, (2015)Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis., , and . ACSD, page 104-113. IEEE Computer Society, (2016)Synthesis from Waveform Transition Graphs., , and . ASYNC, page 60-67. IEEE, (2019)Improving the Security of Dual-Rail Circuits., , , and . CHES, volume 3156 of Lecture Notes in Computer Science, page 282-297. Springer, (2004)Registers for Phase Difference Based Logic., , , , and . IEEE Trans. Very Large Scale Integr. Syst., 15 (6): 720-724 (2007)Significance-Driven Logic Compression for Energy-Efficient Multiplier Design., , , , , and . IEEE J. Emerg. Sel. Topics Circuits Syst., 8 (3): 417-430 (2018)Step Persistence in the Design of GALS Systems., , , , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 190-209. Springer, (2013)Towards power-elastic systems through concurrency management., , , , , , , and . IET Comput. Digit. Tech., 6 (1): 33-42 (2012)