Вид для печати
Я активно использую case, особенно, если много значений. Прочитал где-то, что длинные if then else хуже по быстродействию.
Главное - описать все значения анализируемого в case сигнала, особенно в асинхронных блоках, чтобы не получилось защелки.
Тут может помочь default.
IanPo, case удобен только программисту. В железе он преобразуется в дешифратор а потом опять в шифратор, это всё прекрасно видно в RTL. Это не особо важно для жирной FPGA, но критично для CPLD. Правильно сказали за варианты: если case не полный (например, для 5ти битного числа следует описать все 32 варианта, так или иначе), то синтезатор начинает сходить с ума и мешает кашу.
А вот if это всего лишь атомарная логическая операция. При этом, даже сравнение вида Temp[4:0] == 5'h13 (которое в RTL показывается как сравнение) сворачивается в чипе в обычную AND функцию, которую, к слову, можно описать и самому (для вышеуказанного примера это будет Temp[4] & ~Temp[3] & ~Temp[2] & Temp[1] & Temp[0]). Если в кейсе всего 3 случая, то 3 таких if заметно выгодны, кроме организации варианта с default.
В конечном итоге, тем кто собрался всерьёз писать на xHDL я настоятельно советую изучать и цифровую схематехнику. Это позволяет описать будущую схему гораздо эффективнее.
Очень удобный оператор, для твоего случая - самое оно.Цитата:
Сообщение от dosikus
(в моём vgu можешь убедиться)
Сам использую где не чревато,
ибо чревато и ещё как...
Цитата:
Сообщение от IanPo
Во, видишь?Цитата:
Сообщение от HardWareMan
Два диаметрально противоположных мнения
и оба неправильные... :)
Ща объясню...
И это в том числе.Цитата:
Сообщение от dosikus
Видишь ли, в ПЛИС нет последовательных операций, логика не ждёт, когда закончится одна операция и начнётся другая, весь код выполняется одновременно.
То есть, условно говоря, основной цикл, все подпрограммы и прерывания работают одновременно, всем гуртом.
Ща:
В чём "цимус" оператора case?
В том, что он отрабатывает все условия внутри себя одновременно, в отличие от, допустим, if-elseif-else - они отрабатывают условия последовательно - сначала первое, потом второе и так далее до конца. На каждую обработку тратится время (задержка внутри компаратора и ключей, соединяющих всю требуху внутри ПЛИС в общую схему), на каждый цикл сравнения, а ведь все они находятся внутри тактового блока, и в конечном итоге задержка накопится до такой степени, что часть условий просто перестанет обрабатываться - на них тупо не хватит времени за период тактового сигнала, и это при в общем-то корректной схеме (IanPo тут прав, а неправ HardWareMan). С другой стороны, у параллельного оператора case есть свои ограничения - он не может выделять приоритеты (покажу ниже) (HardWareMan тут прав, а неправ IanPo), зато он более "высокочастотный". И тут снова алаверды HardWareMan-у, ибо рабочими лошадками тут являются в основном CPLD.
Либо жирные FPGA за несколько тыщ долларов штучка (снова HardWareMan прав)... :)
Рассмотрим такой пример: есть, кроме всего прочего, 2 сигнала, один из которых должен быть обработан в текущем цикле, но только один из них, независимо, пришли они раздельно или одновременно. Пока неважно, который именно, сейчас пусть будет любой.
назовём их wire in1 и wire in2
Соберём их в общую шину для оператора case - wire [1:0] in = {in1, in2};
Теперь обработаем несколькими вариантами:
case (in)
2'b10 : <operators>
2'b01 : <operators>
....
Эта конструкция отработает неправильно, точнее не всегда правильно. Правильно она отработает только когда сигналы будут приходить раздельно, а если вдруг вместе, то не сделает ничего...
Чтобы сделало, надо, чтоб отрабатывался и второй сигнал, добавим его:
case (in)
2'b10, 2'b11 : <operators>
2'b01, 2'b11 : <operators>
....
Вообще на самом деле это, конечно, бред...
(кто знает, по которой ветке здесь ломанётся case? ;))...
Коллизия видна невооружённым взглядом.
Зато if-elseif отработает правильно
if(in1) <operators>
elseif(in2) <operators>
Он выполнит первое условие, если оно произошло, независимо от того, произошло ли событие само по себе, либо одновременно с in2.
Условие задачи выполнено.
Правда в случае одновременных in1 и in2 этот селектор проигнорирует in2.
Есть ещё один селектор - casex, в котором x означает любое (1 или 0) значение, но, во-первых, с ним в нашей задаче получается та же каша, что и с простым case, а во-вторых, проверяет он условия так же, как и if-elseif-else последовательно, то есть имеет недостатки как одного, так и другого..., но бывает удобным при множественном выборе. Ну и бонусом выступает его приоритетность, будет выполнено условие, которое выше по тексту.
В общем универсальной затычки на все случаи жизни нет, для каждой конкретной задачи надо выбирать то, что будет правильно работать именно с ней.
P.S.
Извини, что не сразу отвечаю, на работе, как ни странно, приходится работать...
omercury, а вот если бы ты оформил 2 параллельных ifа то они бы работали одновременно (одинаковая задержка) и "весили" бы минимально:
Вот эти два условия внутри одной пары begin/end будут работать одновременно и займут каждый по одному элементу 2И (инвертирование входа не является отдельным ресурсом) и будут управлять каждый своим begin/end. Вложенные if/else нужны именно там, где они нужны, например в генераторе синхросигналов развертки VGA: на строке Х мы активируем кадровый импульс присвоив триггеру 1, а на строке Y, соответственно, снимаем. Причем, если его вынести "за скобки" (т.е. за пределы работы самого счётчика строк) он продолжит работать правильно, но при этом управление счётчиком не будет влиять на этот кусок схемы, дополнительно тратя на это ресурсы. Именно так, длинные цепочки мультиплексоров (схема влияния ifоф) могут быть прилично сокращены и умение сформулировать логическую схему в этом как раз и помогает, о чём я уже говорил выше.Код:// Общий блок внутри begin/end
if (in1 & ~in2) begin ... end
if (~in1 & in2) begin ... end
// Конец общего блока
- - - Добавлено - - -
PS case в верилоге может объединять несколько значений под один begin/end блок, как и в С. Это бывает тоже необходимо.
- - - Добавлено - - -
PPS
Если источник всех операторов if в каскаде един и внешний (т.е. данные сравнения в ifах не зависят друг от друга, а такое в 99% написанного кода) то все компараторы отработают одновременно. А вот уже их результат будет подан на цепочку мультиплексоров, задержка который всяко меньше полноценного компаратора (который в большинстве случаев всё равно преобразуется во многовходовый И). Причем, синтезатор с некоторой версии умеет их сворачивать в сбалансированное дерево, если логика схемы это позволяет - это тоже уменьшает задержку.Цитата:
Сообщение от omercury
пример
Это:
https://jpegshare.net/images/c3/20/c...b9e9ce9c8d.png
Сворачивается в это:
https://jpegshare.net/images/8b/30/8...02c1684c8e.png[свернуть]
- - - Добавлено - - -
PPPS Кстати, стэйт-машина, оформленная через case с некоторой версии синтезатора корректно распознаётся и сворачивается в компактную логику, причём RTL позволяет прям выделить этот блок. Я, правда, только один раз такое замутил, как-то не особо нужно было.
Как я уже говорил: всегда заглядывайте в RTL, чтобы посмотреть как именно вас понял синтезатор.
Да именно так.Цитата:
Сообщение от HardWareMan
Но предыдущий if они таки подождут...
case там тоже прекрасно отработает, ибо условий во-первых не так много, а, во-вторых, нет дублирующихся условий - все константы разные.Цитата:
Сообщение от HardWareMan
Нет, они будут срабатывать последовательно потому, что каждый последующий if должен проверить - сработал ли предыдущий.Цитата:
Сообщение от HardWareMan
Ты пример в моём посте посмотри (я обновил, ты мог упустить), компараторы сработают одновременно. Результат будет отрабатываться согласно приоритета. А это несколько разные вещи (полноценный компаратор однозначно медленнее простого мультиплексора).Цитата:
Сообщение от omercury
- - - Добавлено - - -
PS В примере, правда, все ifы равноправны, но даже если бы я их выстроил через else поменялся бы только порядок обработки результата на конкретно заданный мною, а не выбранный синтезатором. В примере приоритетно обрабатывается только 1 регистр, который общий для всех условий. Остальные события работают независимо друг от друга. Такой немного кривой пример, но суть и так понятна.
Он процитирован, и кажется идентичным отображённому в посте.Цитата:
Сообщение от HardWareMan
Венрёмся к условию задачи:
Валидные значения: 'b01, 'b10 и 'b11Цитата:
Сообщение от omercury
Блок case, также, как и if/else, выполняет только одну ветку из всех условий, находящихся в блоке.
Чтоб сделать наглядней абсурдность ситуации, заменим <operators> на установку и сброс триггера.
блок
обработает одно из двух валидных состояний, пропущено значение 'b11Код:case (in)
2'b10 : reg <= 1'b1;
2'b01 : reg <= 1'b0;
блок
обработает один из 3х доступных вариантовКод:if(in1) reg <= 1'b1;
elseif(in2) reg <= 1'b0;
а что сделает это?
- - - Добавлено - - -Цитата:
Сообщение от HardWareMan
Тут собеседник-то не всегда понимает, а ты про синтезатор.Цитата:
Сообщение от HardWareMan
- - - Добавлено - - -
И вообще, о чём-то не о том мы...
Речь шла о том, что для разных ситуаций бывают удобными разные решения, а не о том, как выкрутиться из всех случаев каким-то одним.
Цитата:
Сообщение от HardWareMan
К этому добавлю ещё.Цитата:
Сообщение от HardWareMan
Заглядывать надо не только в RTL, но и в fitter, там тоже бывают неожиданные решения, но уже от оптимизатора.
Не надо пытаться на HDL писать программу, это часто приводит к несинтезируемым схемам и взаимонепониманию с синтезатором. На HDL надо описывать схему. И мы описываем не "что делать при...", а комбинационную схему из логических элементов и мультиплексоров, которая готовит сигналы, которые будут защёлкнуты в триггер по тактовому сигналу.
Я там добавил спойлер с примером.Цитата:
Сообщение от omercury
Ровно то же самое, что и в твоём примере с case. 1 условие из двух. Ведь мы же хорошие мальчики и переносим сигналы условия в свой тактовый домен, верно? И у case точно такие же требования. Ну а чтобы модифицировать мой пример под твой пример, то надо описать вот так:Цитата:
Сообщение от omercury
Что касается твоего:Код:// Общий блок внутри begin/end
if (in1 & ~in2) begin ... end
if (~in1 & in2) begin ... end
if (in1 & in2) begin ... end
// Конец общего блока
То он тоже обработает один из 2х доступных вариантов:Код:if(in1) reg <= 1'b1;
elseif(in2) reg <= 1'b0;
1. in1=1, тогда он по приоритету сработает и значение in2 проигнорируется.
2. in1=0, тогда проанализируется значение in2.
И согласись, это совсем не то, что ты описал как {1,0}:{0,1}:{1:1}. Это будет соответствовать вот такой таблице:
Мой пример для этого будет выглядеть вот так:Код:in1 in2 res
1 x #1
0 1 #2
0 0 --
В общем, следует понимать, что все условия на одном уровне в одном блоке обрабатываются одновременно. Но так как мы и так избавляемся от метастабильности (а кто не избавляется, то сам себе злобный буратино) то можно сказать, что case это лишь красивое описание группы таких условий. Причем даже твой случай в case можно описать как комбинация 2'b1x + 2'b01 и оно сработает. Т.е., в большинстве случаев case и группа if в одном блоке решение равноправное. А вот случаи, когда красивее то или иное решение есть. В случае с case это когда надо организовать условие с default. Надеюсь, не надо объяснять в чём сила этого самого default? А в случае с набором условий - да хоть мой пример выше. Или иногда надо организовать несколько значений, которые проще описать в виде логического уравнения, например (in1 | (in2 & ~in3)). Потому как это ведет к перечислению всех вариантов, которые попадают под эту формулу в одном условии case. А в случае данной формулы это будет целых 5 значений. Хотя, если константы именованы то case тупо нагляднее, о чём я и говорил: удобство для погромиста.Код:// Общий блок внутри begin/end
if (in1) begin ... end
if (~in1 & in2) begin ... end
// Конец общего блока
Ну таки посмотрим в RTL , попробую оценить сам а вы ткните если вру.
https://d.radikal.ru/d27/1909/72/f3f8acc6d556.jpg
pix_count - cчетчик вверх с параллельной загрузкой, со сбросом при значении 1056-1 - длина всей строки с со всеми причиндалами.
https://d.radikal.ru/d31/1909/31/f04df40a4d25.jpg
CASE(pix_count) - декодер hsync .
Вот это и есть то что HardWareMan описал - дешифратор на Equal и затем шифратор на NOR и OR ?
- - - Добавлено - - -
Да и , пробую симулировать в Modelsim , естественно пока только один этот модуль ,без PLL и HDMI, да и тестбенчи пока не готов писать , гружу вручную добавляю тактовую и вручную делаю сброс.
Все отображается и работает , почти все - кроме данных в vram. Как это исправить или Modelsim не грузит сторонние файлы?
https://c.radikal.ru/c39/1909/65/e1444c9287a7.jpg
https://b.radikal.ru/b25/1909/b3/d90a3bbba2ff.jpg