Різниця між блокуванням та неблокувальним призначенням Verilog

Я читав цю сторінку http://www.asic-world.com/verilog/verilog_one_day3.html, коли натрапив на таке:

Нам зазвичай доводиться скидати шльопанці, таким чином, кожного разу, коли годинник робить перехід від 0 до 1 (позиція), ми перевіряємо, чи встановлено скидання (синхронний скидання), то ми продовжуємось із звичайною логікою. Якщо ми уважно придивимось, то ми бачимо, що у випадку комбінаційної логіки у нас було "=" для призначення, а для послідовного блоку у нас був оператор "<=". Ну, "=" блокує призначення, а "<=" - неблокує призначення. "=" виконує код послідовно всередині початку / кінця, тоді як неблокування "<=" виконується паралельно.

Я був досить впевнений, що неблокуючі завдання є послідовними, а блокування завдань паралельним. Зрештою, ви можете робити блокування завдань із завданнями присвоєння поза завжди блоками, і всі вони працюють паралельно. Це помилка, чи поведінка відрізняється всередині блоку? І якщо поведінка ВІД завжди блоку відрізняється, чи можуть неблокуючі призначення виконуватись поза блоком завжди?

був досить впевнений, що неблокуючі завдання є послідовними, а блокування завдань паралельним.

Блокування призначення призначається "послідовно", оскільки блокування призначення блокує виконання наступного оператора до його завершення. Тому результати наступного висловлювання можуть залежати від завершення першого.

Неблокуюче призначення виконується паралельно, оскільки воно описує завдання, які відбуваються одночасно. Результат заяви на 2-му рядку не буде залежати від результатів заяви на 1-му рядку. Натомість 2-й рядок буде виконуватися так, ніби 1-й рядок ще не відбувся.

Призначення операторів не є ні "блокуючими", ні "неблокуючими", вони "безперервними". Вихід оператора призначення завжди дорівнює заданій функції його входів. "блокування" та "неблокуючі" завдання існують лише у завжди блоках.

Призначення блокування впливає негайно на його обробку. Неблокуюче призначення відбувається в кінці обробки поточної "часової дельти".

Завжди блоки можуть використовуватися для моделювання комбінаторної або послідовної логіки (systemverilog має завжди_comb і always_ff, щоб зробити це явним). При моделюванні комбінаторної логіки зазвичай використовувати більш ефективно =, але це, як правило, не має значення.

При моделюванні послідовної логіки (наприклад, завжди @ (posedge clk)) ви зазвичай використовуєте неблокуючі припущення. Це дозволяє визначити "стан після краю годинника" за терміном "стан перед краєм годинника".

Іноді корисно використовувати блокування призначення в послідовних блоках завжди як "змінні". Якщо ви це зробите, то слід пам’ятати два ключових правила.

1. Не отримуйте доступу до регістру, встановленого блокуючими призначеннями всередині послідовного блоку завжди ззовні завжди блоку, якому він призначений.
2. Не змішуйте блокуючі та неблокуючі завдання до однієї рег.

Порушення цих правил, ймовірно, може призвести до збоїв синтезу та / або відмінностей у поведінці між моделюванням та синтезом.

Термін " Блокування призначення" бентежить людей, оскільки , здавалося б, блокування слів підказує логічну послідовність часу. Але в синтезованій логіці це не означає , тому що все працює паралельно .

Можливо, менш заплутаним терміном було б негайне присвоєння , яке все-таки диференціювало б проміжні результати комбінаційної логіки від входів до непрозорих елементів пам'яті (наприклад, синхронізованих регістрів), які можуть затримати призначення .

З правової точки зору, все виходить дуже добре. Ви можете, насправді, розглянемо =бути блокування (час послідовного) операції навіть в межах always_combпослідовностей. Однак, відмінність між часовою послідовністю та паралельністю абсолютно не має значення в цьому випадку, оскількиalways_comb блок визначається для повторення, поки послідовність інструкцій не конвергується в стабільний стан - саме це і буде робити апаратна схема (якщо вона відповідає термінам вимоги).

Синтезується підмножина Verilog (і особливо SystemVerilog) надзвичайно проста та проста у використанні - як тільки ви дізнаєтесь необхідні ідіоми. Вам просто потрібно обійти розумне використання термінології, пов’язаної з так званими елементами поведінки в мові.