Модель исполнения

Модель исполнения определяет, каким образом вычисляются новые значения на основе старых по времени.

В поведенческой модели исполнения вычисление новых значений осуществляется в соответствии с порядком, определённым в коде модуля. Т.е. операторы выполняются в том порядке, в котором они записаны, пока не встретился #. Когда это происходит, исполнение приостанавливается на указанное время. После этого в список событий добавляется новое событие исполнения. При наступлении соответствующего времени, исполнение возобновляется с того места, где оно было приостановлено.

В структурной модели исполнения вычисления происходят при изменении значений на входах логических и электрических элементов. Если значение на выходе изменяется, то в список симуляции добавляется новое событие обновления. По наступлении этого события значение выхода будет обновлено и новое значение будет распространено далее по проводам. Это происходит до тех пор, пока все выходы не получат свои значения.

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