> Для ясности теоретического понимания нет лучшего пути, чем учиться на своих собственных ошибках, на собственном горьком опыте. (Фридрих Энгельс)

Всем привет! Несколько недель назад мне в линкедине написал коллега и сообщил, что в моем [проекте][1] на гитхабе не совсем верно работает хеш-таблица. Мне прислали тесты и фикс, и действительно создавалась ситуация, где система "зависала". При расследовании проблемы я понял, что допустил несколько ошибок при верификации. На Хабре тема верификации RTL-кода не слишком подробна расписана, поэтому я и решил написать статью. Из статьи вы узнаете:

* как можно организовать хеш-таблицу на FPGA.
* на чём была построена верификация.
* какие ошибки я допустил (они привели к тому, что бага не была замечена раньше).
* как это всё можно исправить.

Добро пожаловать под кат! [Читать дальше →][2]

[1]: https://github.com/johan92/fpga-hash-table
[2]: https://habrahabr.ru/post/277313/#habracut