October 12th, 2018

Ардуина с ПЛИСом и Верилогом: предварительно

Предварительно по гибриду Ардуины и ПЛИСа (Arduino MKR Vidor 4000), репост из фейсбука

1. Самое интересное: прошивка для ПЛИС создается в обычном квартусе (Intel Quartus, бесплатная версия Lite), на обычном Верилоге, к среде Ардуино эта процедура никакого отношения не имеет. Из кода на верилоге Квартус генерирует файл ttf (так называемый битстрим), он дальше пойдет на ПЛИС несколькими возможными путями.

шаблон пустого проекта с топ-левел модулем, настройками и кое-какими ip-блоками (открывается, собирается, генерирует файл ttf в последнем Квартусе, проверил) здесь:
https://github.com/vidor-libraries/VidorFPGA

важный нюанс: на самом деле файл ttf, генерируемый Квартусом, как есть не подходит для прошивки чипа в плате, его предварительно нужно пропустить еще через некий постпроцессор, который производит с ним какие-то вспомогательные манипуляции. Сейчас этот инструмент не открыт, поэтому сгенерить свою прошивку из Верилога для платы вот прям сейчас не получится. Но обещают все открыть в обозримом (по словам разработчиков - в ближайшем) будущем. Можно немного подождать или попробовать сделать такой пост-процессор самостоятельно - на форуме и в статьях были кое-какие подробности, плюс можно поковырять файлы ttf, выложенные в качестве демо.









доб1: пост в фб 6 сентябня, сейчас 12 октября, вериложный тулчейн еще не открыт
доб2: когда (и если) все-таки откроют, будет повод вернуться к Верилогу
доб3: Альтера уже Интел
доб4: (из коментов) еще один производитель ПЛИС (не Xilinx и не Интел-Альтера) - Lattice: http://www.latticesemi.com/en/Products.aspx#_58F82ED81585418A93A8EE6349B10899
доб5: (из коментов) проект IceStorm - открытые утилиты для работы с ПЛИС Lattice (реверс-инжиниринг): http://www.clifford.at/icestorm/


АПДЕЙТ: 24 ноября, тулчейн открыли
https://forum.arduino.cc/index.php?PHPSESSID=a5hp71v7ioivdcl67hno0nurc2&topic=581316.0
https://github.com/vidor-libraries/VidorBitstream

Collapse )

White helmets vs Betaface (Белые каски против искусственного интеллекта)

Побочный продукт от небольшой воскресной дискуссии (не пропадать же добру).

Коротко предварительная история:
- Исходный пост - Крейг Мюррей о похождениях туристов Петрова и Васечкина Петрова и Баширова, который на самом деле не Баширов, а полковник ГРУ Чепига (на самом деле нет, это статья-разоблачение, но это не точно): https://www.craigmurray.org.uk/archives/2018/09/boshirov-is-probably-not-chepiga-but-he-is-also-not-boshirov/comment-page-1/ (русифицированный вольный пересказ: https://riafan.ru/1104416-feik-bellingcat-treshit-po-pikselyam-na-polkovnika-chepigu-pokhozh-ne-boshirov-a-ukrainskii-mer)
- В ходе разоблачения Крейг Мюррей мимоходом стыдит Элиота Хиггинса - автора разбираемого вброса о Чепиге-Баширове, - за двоемыслие и двойные стандарты: оказывается, Элиот Хиггинс (который делает вывод о том, что Баширова - это Чепига, а Чепига - это Баширов по их безусловному сходству на фото N-летней давности) раньше говорил (см скрин твита), что визуальное сходство некоторых людей, которые на одних фотографиях позируют в белых касках, а на других - с черным флагом, не говорит о том, что это одни и те же люди, а говорит о том, что это про-асадовская путинская пропаганда.
- В той же статье приводится ссылка на бесплатный онлайн-сервис betaface.com, который позволяет сравнивать фотографии людей и при этом генерирует "индекс похожести" в процентах https://betaface.com/demo.html


итого: я решил совместить полезное с полезным - потестировать и оценить работу сервиса сравнения лиц betaface.com и добавить немного объективности в белокасочно-джихадистский спор Мюррея-Хиггинса.

спойлер - вот сразу результат:

whitehelmets-vs-betaface-leaderboard.png

whitehelmets-vs-betaface.png



как его получить и интерпретировать - под кат

Collapse )