Проблема с CPLD Опции

[Orgrimar]

Здравствуйте.
С FPGA и CPLD дело имею уже достаточно времени, но выполняя казалось бы легкую задачу, столкнулся с проблемой. Обо всем по порядку.
Небольшое описание схемы. CoolRunner CPLD, XC2C64A. 8 выходов, которые подают на другую платку выходной код. 3 управляющих входа, от которых зависит выходной код. На выходе стоят светодиоды для проверки правильности кода. На еще один вход заведена кнопка, чтобы проверять этот код (предполагалось , как альтернативная тактовая). На платку заводится синус, который подается на преобразователь синус-прямоугольник, а оттуда на вход основной тактовой. Сброса нет! Думаю, это самое важное.
Задача. Выдавать на выход необходимый код, 16 состояний(после последнего состояния возврат к первому), в зависимости от управляющих входов.
Написал быстренько код на верилоге, промоделировал - все вроде как работает.
Прошил платку. Проверил работу с кнопкой - все правильно идет. Стал подавать синус. И тут появилась проблема: некоторое время светодиоды зажигаются в зависимости от кода. Но со временем, они полностью все зажигаются и так и горят все.
Не понимаю в чем дело. На выходе преобразователя, который формирует тактовую, по умолчанию идет 2,4В . Игрался с IOSTANDART - ничего не помогает. Ощущение, что проблема в отсутствии сброса, как такового. Пробовал сброс от кнопки, подавая синус, но проблема все равно присутствует.
Может кто подскажет в чем дело?
P.S. По утверждениям человека, который дал мне такое задание, такая схема тактирования у них уже использовалась с этой же микросхемой, проблем не было. К сожалению, у него есть только прошивочный файл, да и он отностится к совсем другой задаче.

[AVR]

Может кто подскажет в чем дело?

Отлажен ли код в симуляторе при помощи тестбенча?
Без тестирования, даже самая простая казалось бы задача, может стать тяжелым адом
Игнорирование анализа таймингов тоже может "помочь" в умножении страданий.
Хорошо бы код приложить, он ведь простой и не содержит чего-то секретного?

промоделировал - все вроде как работает

Не увидел сразу, код тестбенча тоже желателен.

[Flip-fl0p]

Так-же хочу обратить внимание, что даже отлаженный в симуляторе код не даёт гарантии работоспособности схемы, поскольку не все проблемы можно выявить на этапе симуляции. Например, неправильное пересечение клоковых доменов (в том числе и приём асинхронных сигналов), на сколько мне известно, никакими симуляторами не моделируется. Да и правильная организация асинхронного сброса (если он присутствует) так-же остаётся на совести разработчика, и опять-же тут симулятор вряд-ли поможет. Хотя Quartus, если покопаться в его настройках, может выдавать предупреждения, но проверка там так себе.

Сообщение отредактировал Flip-fl0p - Sep 11 2017, 09:57

[Orgrimar]

Спасибо всем за ответы. Все сигналы до преобразователя и после , естественно, проверял. Тестбенч простой был - просто, чтобы убедиться, что автомат заводится и выдает на выходы необходимые значения. Проблема была в начальных состояниях выходного регистра. Сам код на верилоге - always блок, с автоматом состояний. initial блоком вначале напрямую задавал стартовое значение выходного регистра. Но потом изменил на сброс с помощью флага, т.е. его стартовое значение в initial блоке задал равным 1, а уже в always блоке при флаге равном 1 сбрасывал как регистр состояний, так и выходной, заодно там же этот флаг сбрасывал. После этого Зависания ушли. Все стало работать, как надо.
Я не гуру. Поэтому может быть и неправильно сделал, но работает. Если сделал неправильно, готов получить ...совет, как правильно
До этого просто не работал с логикой без внешней линии сброса. Теперь будет маленький, но опыт

[Flip-fl0p]

Поэтому может быть и неправильно сделал, но работает. Если сделал неправильно, готов получить ...совет, как правильно
До этого просто не работал с логикой без внешней линии сброса. Теперь будет маленький, но опыт

Чтобы сделать вывод о правильности описания схемы необходимо для начала увидеть это описание схемы. Иначе все советы как делать правильно будут лишь общими советами, без указания конкретной ошибки, если такова присутствует.