Друзья, в этот четверг, 5 октября в 16-30, компания Melexis проведет в Белке лекцию по функциональной верификации микросхем.
Инженеры компании расскажут как при помощи сложных многопоточных объектно ориентированных фреймворков и языка System Verilog проверить работу чипа на соответствие спецификации. Вы узнаете про constrained random методологию верификации и способы оценки степени покрытия проекта тестами (code & functional coverage).
Функциональная верификацяи - это именно та область, где используется очень много интересной проги. Поэтому если вам нравится сложный software, профессия verification engineer может вас заинтересовать. Сейчас большинство компонентов из которых состоят микросхемы (ARM процессоры, USB, Ethernet, DMA контроллеры, etc) находятся либо в свободном доступе, либо стоят относительно небольших денег (по меркам микроэлектронной индустрии). Поэтому создать из этих готовых компонентов новый чип для смартфона не так и сложно. Гораздо сложнее быстро проверить проект на отсуствие багов. Этим и занимаются verification engineers. Поскольку 70% разработки чипа приходится именно на верификацию, такая профессия зарубежом весьма акутальна и высокооплачиваема. Разные компании примерно раз в месяц пишут нам и просят помочь найти инженеров по верификации. Буквально пару дней назад было аналогичное предложение из Швеции (с релокейтом).
Чтобы примерно понимать о чем пойдет речь, читните статью по верификации, которую написал на Хабре наш студент, по результатам курсового проекта: https://habrahabr.ru/post/319730
Вход на ивент свободный, но обязательно зарегистрируйтесь: goo.gl/ujZ77p
До встречи на лекции! ☺
