Список чувствительности для синтезатора и симулятора, В чем разница Опции

[D-Luxe]

Как анализирует синтезатор список чувствительности и как симулятор? В чем разница?

[XVR]

В VHDL условия тактирования явно присутствуют в блоке process (обычно в виде if (clk'edge and clk=1) ). Поэтому синтезаторы обычно не смотрят на список чуствительности самого процесса.
В Verilog'е тело always не содержит явных условий для тактирования, поэтому синтезатор обязан извлекать эти данные из списка чуствительности (который кстати, при формальном подходе, не является списком чуствительности, а является оператором ожидания).

[Sergey'F]

который кстати, при формальном подходе, не является списком чуствительности, а является оператором ожидания.

Я бы только уточнил, что он является не оператором ожидания, а объявлением события.

[Oldring]

Я бы только уточнил, что он является не оператором ожидания, а объявлением события.

Угу. И он не нужен, если в процессе написать оператор wait явно. А без них процесс в симуляторе просто зациклится.

Кстати, некоторые синтезаторы понимают процессы с несколькими явно написанными операторами wait в теле и без списка чувствительности процесса. Как вариант описания конечного автомата с неявным состоянием. Разумеется, чтобы такой процесс был синтезируем, все операторы wait должны быть для одного фронта одного клока.