verification
-
Хабрахабр
[Перевод] Верификация e-mail по протоколу smtp. Узнаем, что почта есть и ждёт писем при помощи python
Пригодится для решения задач по организации рассылок, а также как средство предварительной проверки эл. почты при регистрации. Это пересказ довольно старой статьи (2015 г) некоего Скотта Бради. Автор предупреждает, что попытка реализовать предложенный подход в промышленных масштабах приведёт вас в списки спамеров, и вообще всё это крайне ненадежно и сомнительно. А реализовано больше с целью познакомиться с процессом, что собственно предлагаю и…
Читать далее » -
Хабрахабр
Темное искусство функциональной верификации цифровых микросхем
Сегодня, в субботу 26 февраля, на Сколковской Школе Синтеза Цифровых Схем Михаил Коробков проводит занятие по технологиям функциональной верификации: constrain solvers, cover bins и concurrent assertions. Примеры, которые мы подготовили для школы, вращаются вокруг протокола AXI для систем на кристалле, вопросы про который спрашивают например на интервью в хардверное отделение компании Meta и другие. На предыдущих занятиях школы мы изучали…
Читать далее » -
Хабрахабр
[Из песочницы] Верификация цифровых схем. Обзор
Я постараюсь в общем рассказать о верификации цифровых схем. Например, специалист по верификации, работающий над системами с ЦПУ, как правило должен владеть скриптовыми языками и языками командных оболочек (Tcl, bash, Makefile и т.п.), языками программирования (С, С++, ассемблер), HDL/HDVL (SystemVerilog [10, Appendix C — история языка][11], Verilog, VHDL), современными методологиями и framework’ами (UVM). Верификация в данной области — это важный…
Читать далее » -
Хабрахабр
nanoFOX — простое RISC-V совместимое ядро
Dmitriy0111 вчера в 17:19 Программирование, FPGA Небольшое вступление: На данном мероприятии проводилось знакомство с текущими языками описания аппаратуры (Verilog HDL и VHDL), а также с небольшим процессорным ядром schoolMIPS. Идея написания собственного ядра появилась после прохождения школы-семинара по цифровой схемотехнике в городе Томске. Вследствие роста популярности RISC-V и открытости его системы команд (MIPS на момент начала написания ядра не имел…
Читать далее » -
Хабрахабр
Хардкорные Java/JVM задачки
Перформансные задачи от Контура уже были, настала и наша очередь: представляем хардкорные задачи с Java-конференции JBreak 2018, aka «ад от Excelsior». Задачи даны в оригинальных формулировках, в каждой задаче может быть несколько правильных ответов, и к каждой задаче дано решение под спойлером. Задача 1 Ваш коллега начитался Java Language Specification и написал следующее: void playWithRef() { Object obj = new…
Читать далее »