Kirill Gagarski

According to our database, Kirill Gagarski authored at least 3 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Power specification, simulation and verification of SystemC designs.

Kirill Gagarski, Maxim Petrov, Mikhail J. Moiseev, Ilya Klotchkov

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

2015

Using a bounded model checker for test generation: How to kill two birds with one SMT solver.

Maxim Petrov, Kirill Gagarski, Mikhail A. Belyaev, Vladimir M. Itsykson

Autom. Control. Comput. Sci., 2015

Automatic transformation of SystemC designs to speed up simulation.

Maxim Petrov, Kirill Gagarski, Mikhail J. Moiseev

Proceedings of the 2015 IEEE East-West Design & Test Symposium, 2015