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

Симулятор выполняет ваш процесс сверху до низу, потом стоит и ждет, когда какой-то из перечисленных в списке чувствительности сигналов дрыгнется и процесс повторяется.

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

Распространенное заблуждение. В VHDL действительно полезной информации не несет, а вот в Verilog'е несет - для разных списков чувствительности могут быть синтезированы разные схемы

И в VHDL несёт! И очень серьёзно...
Мне вообще не нравится постановка вопроса. Список чувствительности- святая святых, даже основа в интерпретации поведения. Если на стадии симулятора забыть случайно вписать сигнал в этот список, то даже симулятор станет чудить.
Я лично не разделяю с точки зрения описания поведения этапы симуляции и синтеза.
Да, разные конструкции синтезируются по-разному, имея одинаковое поведение, но списка чувствительности это не касается. Это слишком глобальные вещи(тактирование, промежуточное запоминание).
Если я не прав, приведите пример неполезности информации в списке чувствительности.

Конечно, я же пишу на VHDL и по умолчанию имел в виду его.
Все используемые синтезаторы, в том числе quartus и xst ведут себя одинаково, как будто сначала делают схему, потом проверяют список чувствительности.
Это их дело.
Заполнять нужно все как положено.

Синтезатор использует список чувствительности для определения тактирования и буферизации в будущей системе.

Реализация симулятора вынуждена отслеживать смену состояний всех сигналов из списка чувствительности для прогона дальнейшего поведения. В конце концов, он позволяет экономить машинный рессурс самого процесса симуляции. Лучше способа моделировать параллельные процессы пока не придумали.

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

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

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

Прошу обратить внимание, что процессом может быть определена и комбинационная логика, без использования if ... then, но с использованием when.

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

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