home.social

#synopsys_formal — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #synopsys_formal, aggregated by home.social.

  1. Как ИИ портит резюме студентам

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

    habr.com/ru/articles/1039714/

    #SVA #SystemVerilog_Assertions #Formal_verification #JasperGold #Synopsys_Formal #составление_резюме #диалоги_на_интервью #ASIC #Design_Verification #ПЛИС

  2. Как ИИ портит резюме студентам

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

    habr.com/ru/articles/1039714/

    #SVA #SystemVerilog_Assertions #Formal_verification #JasperGold #Synopsys_Formal #составление_резюме #диалоги_на_интервью #ASIC #Design_Verification #ПЛИС

  3. Как ИИ портит резюме студентам

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

    habr.com/ru/articles/1039714/

    #SVA #SystemVerilog_Assertions #Formal_verification #JasperGold #Synopsys_Formal #составление_резюме #диалоги_на_интервью #ASIC #Design_Verification #ПЛИС