Старая версия сайта доступна по ссылке http://old.miet.ru Перейти
  
  
  
  
Гаврилов Сергей Витальевич доктор технических наук, профессор

Краткая биография

Доктор технических наук, профессор, лауреат премии Правительства Российской Федерации 2015 года в области науки и техники.

Окончил Московский физико-технический институт (МФТИ), Факультет управления и прикладной математики (ФУПМ). С 1997 года кандидат технических наук. В 2007 году защитил диссертацию доктора технических наук.

Член Ученого совета ИППМ РАН. Член диссертационного совета Д 002.078.01 при ИППМ РАН. Член Экспертного совета ВАК по управлению, вычислительной технике и информатике.

Имеет свыше 120 публикаций, из них: 2 монографии, 1 патент, 3 свидетельства о регистрации программ.

Основное место работы – Федеральное государственное бюджетное учреждение науки Институт проблем проектирования в микроэлектронике Российской академии наук (ИППМ РАН).

Разработал и читает лекционные курсы по дисциплине «Спецглавы САПР» для магистров, обучающихся по программе «Автоматизированное проектирование СБИС и систем на кристалле», является разработчиком дополнительной программы «Проектирование сложно-функциональных блоков СБИС», заместителем председателя Государственной аттестационной комиссии по защите бакалаврских и магистерских диссертаций.

Подготовил в качестве научного руководителя –6 кандидатов наук. В настоящее время осуществляет научное руководство аспирантами и магистрами.

Является высококвалифицированным специалистом, получившим международное признание в области моделирования и оптимизации СБИС. Неоднократно выступал с докладами на международных конференциях ICCAD (Сан-Хосе, США), DATE (Париж, Франция), ISQED (Сан-Хосе, США), а также с лекциями и семинарами по приглашению ведущих компаний в области проектирования и разработки микросхем – Motorola (Остин, США), Freescale (Остин, США), Intel (Хайфа, Израиль).

С сентября 2018 года ВрИО заведующего кафедрой ПКИМС.


Читаемые курсы

  • Маршрут проектирования цифровых интегральных схем. Спецглавы САПР (ПКИМС-11, 14, 21,24)

    (ПКИМС-11, 14, 21,24)

  • Алгоритмы анализа и оптимизации СБИС и СНК

Научная деятельность

Научная специальность/направление: 05.13.12 системы автоматизированного проектирования

Области научных интересов

  • Автоматические и автоматизированные системы проектирования, моделирования и сопровождения

  • Проблемы теории проектирования микроэлектронных систем

  • Электронная элементная база информационных систем

Основные публикации

1. Gavrilov S., Glebov A., Rusakov S. Fast power loss calculation for digital static CMOS circuits. Proceedings of European Design and Test Conference. 1997. С. 411.

2. Gavrilov S., Glebov A., Pullela S., Moore S.C., Dharchoudhury A., Panda R., Vijayan G., Blaauw D.T. Library-less synthesis for static CMOS combinational logic circuits. IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD. sponsors: IEEE; editors: Anon. San Jose, CA, USA, 1997. С. 658-662.

3. Gavrilov S., Glebov A., Rusakov S., Blaauw D., Jones L., Vijayan G. Fast power loss calculation for digital static CMOS circuits. Proceedings of European Design and Test Conference Proceedings of the 1997 European Design & Test Conference. sponsors: IEEE; editors: Anon. Paris, Fr, 1997. С. 411-415.

4. Glebov A., Gavrilov S., Blaauw D., Sirichotiyakul S., Oh C., Zolotov V. False-noise analysis using logic implications. IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers International Conference on Computer-Aided Design 2001. sponsors: IEEE, ACM/SIGDA. San Jose, CA, 2001. С. 515-521.

5. Гаврилов С.В., Глебов А.Л., Стемпковский А.Л. Анализ помехоустойчивости цифровых схем на основе логических импликаций. Известия высших учебных заведений. Электроника. 2002. № 5. С. 60.

6. Glebov, A; Gavrilov, S; Blaauw, D; et al. False-noise analysis using resolution method. Proceeding of the 2002 3rd International Symposium on Quality Electronic Design 2002 C. 437-442

7. Nadezhin D., Gavrilov S., Glebov A., Egorov Y., Blaauw D., Becer M., Ardelea A., Patel A., Zolotov V. SOI transistor model for fast transient simulation IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers IEEE/ACM International Conference on Computer Aided Design ICCAD 2003: IEEE/ACM Digest of Technical Papers. sponsors: IEEE. San Jose, CA, 2003. С. 120-127.

8. Glebov A., Gavrilov S., Soloviev R., Zolotov V., Becer M.R., Oh C., Panda R. Delay noise pessimism reduction by logic correlations. IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD ICCAD-2004 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers. Сер. "ICCAD-2004 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers" sponsors: IEEE, IEEE CASS/CANDE, IEEE Computer Society, ACM SIGDA, IEEE Electron Devices Society, EDS. San Jose, CA, 2004. С. 160-167.

9. Гаврилов С.В., Глебов А.Л., Стемпковский А.Л. Анализ фатальных помех в цифровых схемах на основе метода резолюций. Известия высших учебных заведений. Электроника. 2004. № 6. С. 64-71.

10. Glebov A., Gavrilov S., Zolotov V., Oh C., Panda R., Becer M. False-noise analysis for domino circuits. Proceedings - Design, Automation and Test in Europe Conference and Exhibition Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 04. Сер. "Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 04" sponsors: EDA Consortium, EDAA, IEEE Computer Society TTTC, IEEE Computer Society DATC, ECSI, ACM/SIGDA; editors: G. Gielen, J. Figueras. Paris, 2004. С. 784-789.

11. Стемпковский А.Л., Гаврилов С.В., Глебов А.Л. Статистический подход к временному анализу цифровых схем. Известия высших учебных заведений. Электроника. 2006. № 5. С. 99-106.

12. Гаврилов С.В., Глебов А.Л., Стемпковский А.Л. Методы логического и логико- временного анализа цифровых КМОП СБИС. – M.: Наука, 2007, 223c.

13. Sundareswaran S., Nechanicka L., Panda R., Gavrilov S., Solovyev R., Abraham J.A. A Timing Methodology Considering Within-die Clock Skew Variations. 2008 IEEE International SOC Conference, SOCC 2008. С. 351-356.

14. Стемпковский А.Л., Гаврилов С.В., Каграманян Э.Р. Методы логико-временного анализа заказных блоков СБИС // Известия ВУЗов. Электроника. – 2008. - № 5. – С. 41- 50.

15. Стемпковский А.Л., Глебов А.Л., Гаврилов С.В., Гудкова О. Вероятности напряженного состояния транзисторов для временного анализа с учетом электротемпературной нестабильности // Информационные технологии, 2009, №7, C.32-38.

16. Stempkovsky A., Glebov A., Gavrilov S. Calculation of Stress Probability for NBTI-Aware Timing Analysis. Proceedings of the 10th International Symposium on Quality Electronic Design, ISQED 2009 10th International Symposium on Quality Electronic Design, ISQED 2009. sponsors: International Society for Quality Electronic Design, ISQED. San Jose, CA, 2009. С. 714-718.

17. Гаврилов С.В., Гудкова О., Егоров Ю.Б. Статистический анализ сложных функциональных блоков // Известия ВУЗов. Электроника. 2010. № 5. C. 41-47.

18. Гаврилов С.В., Гудкова О., Егоров Ю.Б. Методы ускоренной характеризации библиотек элементов СБИС с контролем заданной точности // Известия ВУЗов. Электроника. 2010. № 3. С. 51-59.

19. Гаврилов С.В. Методы анализа логических корреляций для САПР цифровых КМОП СБИС. – М., Техносфера, 2011. 136c.

20. Гаврилов С.В., Гудкова О.Н., Стемпковский А.Л. Анализ быстродействия нанометровых сложно-функциональных блоков на основе интервального моделирования // Известия ВУЗов. Электроника. 2012. № 4. C. 40-49.

21. Гаврилов С.В., Гудкова О.Н., Щелоков А.Н. Логико-временной анализ нанометровых схем на основе интервального подхода. // Известия ЮФУ. Технические науки. 2012. №7 (132). С. 85-91.

22. Гаврилов С.В., Пирютина Г.А., Щелоков А.Н. Метод интервальных оценок задержек и выходных фронтов библиотечных элементов нанометровых КМОП-схем // Известия ЮФУ. Технические науки. 2012. №7 (132). С. 70-76.

23. С.В. Гаврилов, Г.А. Пирютина, А.Н. Щелоков. Статический временной анализ КМОП-схем с учетом дестабилизирующих факторов // Известия ЮФУ. Технические науки. – 2013. - №7 - С.65-70

24. Гаврилов С.В., Иванова Г.А., Манукян А.А. Новые проблемы логико-топологического синтеза заказных сложно-функциональных блоков и методы их решения // Информационные технологии. – 2014. № 8. С. 44-50.

25. Гаврилов С.В., Рыжова Д.И., Стемпковский А.Л. Методы повышения точности оценки пикового тока на логическом уровне на основе анализа логических корреляций // Известия ЮФУ. Технические науки. – 2014. № 7, C. 66-75.

26. Гаврилов С.В., Иванова Г.А. Анализ быстродействия сложных цифровых схем с учетом неопределенности технологических и схемных параметров //Вестник Рязанского государственного радиотехнического университета. Рязань: РГРТУ, 2015. - № 3 (выпуск 53). - С. 29-35.

27. Гаврилов С.В., Рыжова Д.И. Алгоритм оценки пикового тока на логическом уровне проектирования на основе анализа распространения логических корреляций в схеме.//Вестник Рязанского государственного радиотехнического университета. - Рязань: РГРТУ, 2015. - № 2 (выпуск 52). - С. 56 - 63.

28. Волобуев П.С., Гаврилов С.В., Рыжова Д.И., Стемпковский А.Л. Определение размеров ключевых транзисторов в низкомощных КМОП схемах для метода отключения питания с контролем быстродействия // Известия ЮФУ. Технические науки,2015. - № 6 (167). - C. 106-115.

29. Гаврилов С.В., Иванова Г.А., Соловьев А.Н., Стемпковский А.Л. Оптимизация схем кодирования на основе выбора варианта коммутаций с учетом логических корреляций между выходами комбинационной схемы // Известия ЮФУ. Технические науки, 2015. - № 6 (167). - C. 255-262.

30. Гаврилов С.В., Иванова Г.А., Рыжова Д.И., Соловьев А.Н., Стемпковский А.Л. Методы синтеза помехозащищенных комбинационных блоков для САПР интегральных схем // Информационные технологии, 2015. - №11. - Том 21. - С. 821 - 826.

31. Гаврилов С.В., Матюшкин И.В. Статистический анализ блочно-поворотного механизма Марголуса в клеточно-автоматной модели диффузии в среде с дискретными особенностями// Компьютерные исследования и моделирование. 2015. том 7. № 6. С. 1155-1175.

32. S.V. Gavrilov, G.A. Ivanova, P.S. Volobuev, A.A. Manukyan.The methods of logical synthesis for library elements and blocks with regular layout structure //35th International Conference on Electronics and Nanotechnology (ELNANO-2015) - LEEE, 2015. - P. 138-141.

33. Gavrilov S., Ivanova G. Simultaneous Logic and Layout Synthesis for Fin-fet Based Elements with Regular Layout in Рolysilicon and Diffusion// Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015). - LEEE, 2015. - P. 264-267.

34. Гаврилов С.В., Иванова Г.А., Рыжова Д.И., Стемпковский А.Л. Методы повышения надежности комбинационных микроэлектронных схем на основе мультиинтервального анализа быстродействия // Системы высокой доступности. №4. 2015. С. 69-76.

35. Gavrilov S., Ivanova G. Methods of Timing Reliability Improvement for Combinational Blocks in Microelectronics Systems // 1st International Workshop on Resiliency in Embedded Electronic Systems. 2015. P. 28-33.

36. Гаврилов С.В., Стемпковский А.Л., Матюшкин И.В. Вычислимость в клеточных автоматах // Искусственный интеллект и принятие решений. 2016. № 1. С. 18-36.

37. A.L. Stempkovsky, S.V. Gavrilov, I.V. Matyushkin, and G.S. Teplov. On the Issue of Application of Cellular Automata and Neural Networks Methods in VLSI Design) // Optical Memory and Neural Networks. 2016. Vol. 25. No. 2. Pp. 72–78.

38. Sergey Gavrilov, Galina Ivanova, Daria Ryzhova and Pavel Volobuev. Multi-Interval Static Timing Analysis Accounting Logic Compatibility // 14th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS). 2016. Pp. 440-443. Electronic ISSN: 2472-761X. INSPEC Accession Number: 16583525. DOI: 10.1109/EWDTS.2016.7807650.

39. Garbulina T.V., Gavrilov S.V., Korshunov A.V., Ryzhova D.I., Volobuev P.S. A Technique of ASIC Peak Current Estimation Based on the Resolution Method // 2017 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering. 2017. Pp. 67-70.