Стенд для Am2904

[vak]

Воспроизвести чип Am2904 на Верилоге нетрудно. Насколько он соотвествует реальности, это другой вопрос. Надо каким-то образом сравнить его с реальныи чипом. Для этого я собрал вот такой стенд на базе Ардуино Мега.

Comments

[andrey-yurin.livejournal.com]

А примерчик потом покажете как-нибудь? Общая-то мысль понятна, но вот детали... Как эту "определённую последовательность" получить, что бы протестировать всю схему? Ведь не счётчик же тактовый туда подаётся. Вот есть у меня, например, модуль. А в нём State Machine (а лучше несколько). И есть управляющие сигналы. А ещё есть данные (несколько потоков). И, например, состояние State Machine_A зависит не только от внешних сигналов управления, но и от приходящих данных по порту А, а так же от состояния State_Machine_B. А состояние State_Machine_B зависит от данных порта B и состояния State_Machine_A. (лучше бы, конечно, привести пример с кодом, но сейчас на скору руку я это не сделаю). И вот как в таком случае правильно TestBench сделать. Потому что у меня обычно получается, что в симуляторе я отлавливаю многое, но далеко не всё. И потом "глюки" приходится отлавливать уже на работающем железе, что очень долго и мучительно. Ну и если что-нибудь из дельной литературы сможете посоветовать, где такие вопросы затрагиваются и где описан сам процесс верификации буду весьма признателен, как обычно.