Использование модификатора приоритета SystemVerilog
Я читаю о приоритетных ключевых словах SV. Я нашел следующий пример в одном из документов, написанных Сазерлендом:
Я не совсем уверен, почему мы можем видеть несоответствие синтеза моделирования, если {приоритет} НЕ используется. Предположим, что мы не используем {priority} и {IRQ} всегда один горячий. В этом случае, даже если DC оптимизирует логику приоритетного датчика, сим и синтез должны всегда совпадать. Разве это не так? В любое время IRQ может принимать любое из 4 значений.
Я не уверен, что мне не хватает.
1 ответ
Я думаю, что в примере есть ошибка - пункты дела должны быть 4'b???1
, 4'b??1?
, 4'b?1??
, а также 4'b1???
, Тогда вопрос сводится к вашему предположению о IRQ
быть закодированным или нет. priority
Ключевое слово говорит инструменту синтеза, чтобы не предполагать один горячий.