Подскажите по какому принципу работает RTL?
И ещё, во время проверки RTL в ISE 8.1i выскачило предупреждение
The following signals are missing in the process sensitivity list:
На сколько я понял, текущий сигнал отсутствует в списке чуствительности, как исправить ошибку?

включить в список чувствительности процесса... Раз уж отсутствует...

ага, помогло!
А где ещё про RTL посмотреть можно?

а зачем о нём что-то смотреть - РТЛ -это название уровня абстракции при котором устройство представляется элементами памяти и комбинаторной логики - явно описывается что, когда и как должно защёлкнуться в в запоминающий элелмент (т.е. есть явная комбинаторная логика и явные элементы памяти)
а что вас конкретно интересует?

меня интересует что он проверяет, вот check syntax проверяет синтаксис, а что проверяет RTL?