Использование модификатора приоритета SystemVerilog

Я читаю о приоритетных ключевых словах SV. Я нашел следующий пример в одном из документов, написанных Сазерлендом: введите описание изображения здесь

Я не совсем уверен, почему мы можем видеть несоответствие синтеза моделирования, если {приоритет} НЕ используется. Предположим, что мы не используем {priority} и {IRQ} всегда один горячий. В этом случае, даже если DC оптимизирует логику приоритетного датчика, сим и синтез должны всегда совпадать. Разве это не так? В любое время IRQ может принимать любое из 4 значений.

Я не уверен, что мне не хватает.

1 ответ

Я думаю, что в примере есть ошибка - пункты дела должны быть 4'b???1, 4'b??1?, 4'b?1??, а также 4'b1???, Тогда вопрос сводится к вашему предположению о IRQ быть закодированным или нет. priority Ключевое слово говорит инструменту синтеза, чтобы не предполагать один горячий.

Другие вопросы по тегам