Отправлено Vasily 01 ноября 2001 г. 15:28

Проблема получается при синтезе VHDL файла содержащего в себе описание FSM. Синтез делается для FLEX10KE. Когда я выбираю Encoding Style для состояний "auto", он делает следующую вещь:

Encodings for TDeviceState values
value TDeviceState[4-0]
==================================
dsWAIT_PROBE ----1
dsWAIT_STROBE_RISE ---1-
dsWAIT_STROBE_FALL --1--
dsSTART_TRANSFER -1---
dsEND_TRANSFER 1----

И при этом устройство глючит/не работает.

Но если выбрать Encoding Style "binary" то получается вот что:
dsWAIT_PROBE 000
dsWAIT_STROBE_RISE -01
dsWAIT_STROBE_FALL -10
dsSTART_TRANSFER -11
dsEND_TRANSFER 100

И устройство работает замечательно.

Исходники одинаковые. Всё одинаковые. Разница только в способе кодировки состояний автоматов.

Причём в симуляторе MAX+plusII оба варианта ведут себя совершенно одинаково (работают как надо). И это меня очень сильно как раз и смущает. Я всегда считал что MAX-овскому симулятору можно доверять, а он тут так лажается :-(

Единственное что мне приходит в голову, так это то что FLEX-овские LUT-ы ведут себя непредсказуемо, когда ему на вход подаются сигналы вроде "----" :-)

Никто с таким не сталкивался/не знает в чём дело?
Или хотя бы какие-нибудь идеи по этому поводу.

• Ответ: start-up(+) — IgorK   (02.11.2001 01:57, 85 байт)
• Ответ: что-то подобное — sms   (01.11.2001 21:53, 191 байт)
• А как насчет тупиковых ситуаций? Вообще-то Altera рекомендует использовать One-hot Encoding — Victor®   (01.11.2001 15:35, пустое)
  • А что понимается под тупиковыми ситуациями? — Vasily   (02.11.2001 14:12, пустое)
    • ОТВЕТ(+) — IgorK   (02.11.2001 23:07, 270 байт)
      • Также см. ссылку(-) — IgorK   (03.11.2001 01:19, пустое, ссылка)
  • Сталкивался с подобным(+) — vitA   (01.11.2001 18:59, 186 байт)
    • Так в одном такте нельзя такое делать Ж-) — Victor®   (02.11.2001 09:24, пустое)
      • Но очень уж хочется, это была иллюстрация распространённой ошибки. (-) — vitA   (02.11.2001 23:55, пустое)