Сейчас студенты поголовно пишут резюме с помощью ИИ, и ИИ поголовно делает им интересное западло: оно вставляет им среди рабочих навыков SVA, то есть SystemVerilog Assertions (ниже я расскажу что это). При виде SVA в резюме я тут же прошу кандидата написать некий простейший SVA на три строчки, и начинается извивание ужа на сковородке:

Студент: Ну я не помню точный синтаксис.

Я: Но вы только что сказали, что отладили 100 багов на практике в Большой Электронной Компании. Сколько из этих багов было отловлено с помощью SVA?

Студент: Ну 20 с чем-то, но я их не писал. Их писали другие инженеры. Я только помогал их анализировать и отлаживать.

Я: То есть вы видели 20 с чем-то раз SVA в туле типа Jasper Gold или Synopsys Verdi - и не запомнили их точный синтакс? Ну напишите приблизительный.

Далее студент пытается писать что-то ну очень приблизительное.

Я: Ладно, неважно. SVA - это вспомогательный навык, и вам его необязательно знать. Я просто увидел его у вас в резюме и подумал: вау, еще один университет начал преподавать студентам SVA. До сих пор я это видел только в университете Северной Каролины в США и МИЭТ в российcком Зеленограде. Что-ж, не знаете так не знаете. Перейдем к более ключевым навыкам, то бишь задачкам по микроархитектуре.

Что же такое SVA? Это подъязык выражений темпоральной логики, который используется в динамической и формальной верификации (своего рода QA) блоков микросхем, которые разрабатываются с помощью синтеза из языка описания аппаратуры SystemVerilog на уровне регистровых передач (Register Transfer Level - SVA). Его реально мало кто знает, разве что в группах по формальной верификации, которые есть в больших электронных компаниях, да и то не во всех проектах. SVA стоит вставлять в резюме только если вы эксперт по вопросу или если этого требует очень специфическая позиция, типа локальный гуру по Jasper Gold. Иначе можно нарваться вот на то, что я описал выше.

Я вообще не понимаю людей, которые используют ИИ для составления своих резюме. Вот вам - редкая возможность выразить свои творческие способность и показать свое индивидуальное лицо! Как бы вы относились к девушке, которая выставляет на сайте знакомств не свои фотки жарящей яичницу, в кабинете в Москве-сити или за рулем трактора - а картинки от ИИ? По-моему это хуже, чем вообще не выставлять никаких фоток.

Я недавно увидел новый уровень - софтверное резюме с полностью выдуманными проектами. Так как у ИИ не хватает кругозора, фантазии и здравого смысла, оно придумало несколько проектов, которые никакой нормальный студент не стал бы делать, только потому что это уже сделано сто раз, скажем писать урезанный аналог микрософт ворда, с примечаниями о совершенно инновационной фиче - драг и дроп в него из виндоус эксплорера. Но это уже тема для другого поста.

Комментарии (8)


  1. kinall
    26.05.2026 15:17

    Я вообще не понимаю людей, которые используют ИИ для составления своих резюме. Вот вам - редкая возможность выразить свои творческие способность и показать свое индивидуальное лицо!

    Ха-ха три раза.

    Извините. Вы счастливый человек, если правда не понимаете.


    1. Dhwtj
      26.05.2026 15:17

      Пока резюме читают по чек-листам там нет места индивидуализиму


      1. YuriPanchul Автор
        26.05.2026 15:17

        SVA практически никогда не является обязательным скиллом, кроме очень специальных работ. Если он упомянут как "nice to have" - 'это не повод вставлять его в резюме если человек не может на нем написать ни одной строчки.


        1. Dhwtj
          26.05.2026 15:17

          Да. Но я ответил про индивидуальность


  1. accurate_random
    26.05.2026 15:17

    Это ещё что, мне ИИ вообще сказал что состряпает академическую публикацию на тематику LLM и моего алгоритма обхода дерева. ИИ начал ругать Дональда Кнута, заявляя что мой алгоритм в LLM сделает переворот. Может быть, но ведь пока не сделал. Я ему поверил, сделал публикацию, но потом понял что он просто нагло водит меня за нос, поскольку в области LLM я нуб нубом, в общем я поймал его на словах, а не своих знаниях LLM, он попросил простить, что создал путаницу - а сам меня на революцию провоцировал. Да, в чём-то мой алгоритм обхода дерева лучше чем Дональда Кнута, но в LLM профит если и есть, то совсем не таким он будет, как этот искусственный провокатор описывал. В итоге я заработал 12 минусов, отправил публикацию в черновик, а он просто извинился что создал путаницу. Но в поиске документации - ему равных точно не будет, впрочем, другая LLM уже исправляла за ним ошибки по документации.