Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Grevtsev N.A.

NIISI RAS

Listing of all the works of the author. Click on the work title to get the full information.

2016
		Grevtsev N.A., Khisambeev I.Sh., Chibisov P.A. Methods to improve efficiency of microprocessor model stochastic tests
2018
		Grevtsev N.A., Chibisov P.A. A Practical Approach to Verification of Multicore Microprocessor Models
2020
		Grevtsev N.A., Chibisov P.A. Atomic instructions random tests generation using lock contention analysis
2021
		Grevtsev N.A., Krasnyuk A.A., Orlov D.O., Chibisov P.A. User applications synthetic clones generation for functional verification
2022
		Grevtsev N.A. Functional verification of microprocessors using machine-learning methods