verification

  • ХабрахабрФото [Перевод] Верификация e-mail по протоколу smtp. Узнаем, что почта есть и ждёт писем при помощи python
    Лида Шиндлер02.07.2023
    0 0

    [Перевод] Верификация e-mail по протоколу smtp. Узнаем, что почта есть и ждёт писем при помощи python

    Пригодится для решения задач по организации рассылок, а также как средство предварительной проверки эл. почты при регистрации. Это пересказ довольно старой статьи (2015 г) некоего Скотта Бради. Автор предупреждает, что попытка реализовать предложенный подход в промышленных масштабах приведёт вас в списки спамеров, и вообще всё это крайне ненадежно и сомнительно. А реализовано больше с целью познакомиться с процессом, что собственно предлагаю и…

    Читать далее »
  • ХабрахабрФото Темное искусство функциональной верификации цифровых микросхем
    Andy26.02.2022
    0 0

    Темное искусство функциональной верификации цифровых микросхем

    Сегодня, в субботу 26 февраля, на Сколковской Школе Синтеза Цифровых Схем Михаил Коробков проводит занятие по технологиям функциональной верификации: constrain solvers, cover bins и concurrent assertions. Примеры, которые мы подготовили для школы, вращаются вокруг протокола AXI для систем на кристалле, вопросы про который спрашивают например на интервью в хардверное отделение компании Meta и другие. На предыдущих занятиях школы мы изучали…

    Читать далее »
  • ХабрахабрФото [Из песочницы] Верификация цифровых схем. Обзор
    Стас Молотов22.12.2019
    0 6

    [Из песочницы] Верификация цифровых схем. Обзор

    Я постараюсь в общем рассказать о верификации цифровых схем. Например, специалист по верификации, работающий над системами с ЦПУ, как правило должен владеть скриптовыми языками и языками командных оболочек (Tcl, bash, Makefile и т.п.), языками программирования (С, С++, ассемблер), HDL/HDVL (SystemVerilog [10, Appendix C — история языка][11], Verilog, VHDL), современными методологиями и framework’ами (UVM). Верификация в данной области — это важный…

    Читать далее »
  • ХабрахабрФото nanoFOX — простое RISC-V совместимое ядро
    Ксюша Родионова22.05.2019
    0 10

    nanoFOX — простое RISC-V совместимое ядро

    Dmitriy0111 вчера в 17:19 Программирование, FPGA Небольшое вступление: На данном мероприятии проводилось знакомство с текущими языками описания аппаратуры (Verilog HDL и VHDL), а также с небольшим процессорным ядром schoolMIPS. Идея написания собственного ядра появилась после прохождения школы-семинара по цифровой схемотехнике в городе Томске. Вследствие роста популярности RISC-V и открытости его системы команд (MIPS на момент начала написания ядра не имел…

    Читать далее »
  • ХабрахабрФото Хардкорные Java/JVM задачки
    Andy15.03.2018
    28

    Хардкорные Java/JVM задачки

    Перформансные задачи от Контура уже были, настала и наша очередь: представляем хардкорные задачи с Java-конференции JBreak 2018, aka «ад от Excelsior». Задачи даны в оригинальных формулировках, в каждой задаче может быть несколько правильных ответов, и к каждой задаче дано решение под спойлером. Задача 1 Ваш коллега начитался Java Language Specification и написал следующее: void playWithRef() { Object obj = new…

    Читать далее »


Кнопка «Наверх»