A Survey of Methods for Model Extraction from HDL Descriptions by S. A. Smolov

Get full text

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions by M. S. Lebedev, S. A. Smolov

Get full text

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs by I. . Melnichenko, A. . Kamkin, S. . Smolov

Get full text

Extracting Assertions for Conflicts in HDL Descriptions by Alexander Sergeevitch Kamkin, Mikhail Sergeevitch Lebedev, Sergey Alexandrovitch Smolov

Get full text

Test Generation for Digital Hardware Based on High-Level Models by M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov

Get full text

Tools for Functional Verification of Microprocessors by A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov

Get full text

Development and validation of a peptide-mapping procedure for a novel C1 esterase inhibitor by E. V. Zubareva, M. D. Degterev, M. Yu. Neronova, M. A. Smolov, R. R. Shukurov

Get full text

Physicochemical and Biological Characterization of rhC1INH Expressed in CHO Cells by Ekaterina Zubareva, Maksim Degterev, Alexander Kazarov, Maria Zhiliaeva, Ksenia Ulyanova, Vladimir Simonov, Ivan Lyagoskin, Maksim Smolov, Madina Iskakova, Anna Azarova, Rahim Shukurov

Get full text

Eradication of avian leukosis virus subgroups J and K in broiler cross chickens by selection against infected birds using multilocus PCR. by Alexander M Borodin, Zhanna V Emanuilova, Sergei V Smolov, Olga A Ogneva, Nina V Konovalova, Elena V Terentyeva, Natalia Y Serova, D N Efimov, V I Fisinin, Anthony J Greenberg, Yakov I Alekseev

Get full text