![[IEEE 2010 IEEE Region 8 International Conference on "Computational Technologies in Electrical and Electronics Engineering" (SIBIRCON 2010) - Irkutsk, Russia (2010.07.11-2010.07.15)] 2010 IEEE Region 8 International Conference on Computational Technologies in Electrical and Electronics Engineering (SIBIRCON) - SOC verification infrastructure]()
[IEEE 2010 IEEE Region 8 International Conference on "Computational Technologies in Electrical and Electronics Engineering" (SIBIRCON 2010) - Irkutsk, Russia (2010.07.11-2010.07.15)] 2010 IEEE Region 8 International Conference on Computational Technologies in Electrical and Electronics Engineering (SIBIRCON) - SOC verification infrastructureVladimir, Hahanov; Eugenia, Litvinova; Irina, Pobezhenko · 2010