Подскажите, что из себя представляет snapshot RTL модели ИС?
Судя по всему это скомпилированные исходные файлиы модели ИС на Verilog во что-то вроде объектных файлов, которые можно запустить в симуляторе.

правильно