Mushtakov R E

Publications in Math-Net.Ru

1. Verification of system on chip integrated communication controllers
   
   Proceedings of ISP RAS, 30:3 (2018),  195–206
2. Verification of 10 Gigabit Ethernet controllers
   
   Proceedings of ISP RAS, 29:4 (2017),  257–268
3. Approaches to stand-alone verification of multicore microprocessor caches
   
   Proceedings of ISP RAS, 28:3 (2016),  161–172