Apendice A: atributos

Este apéndice resume los principales atributos que se utilizan trabajando con señales

Atributos aplicables a señales

S’delayed(T) S’stable(T) S’quiet(T) S’transaction S’event S’active S’last_event S’last_active S’last_value

S toma el mismo valor que T retardado en T Booleano: cierto si no ha habido evento en un tiempo T Booleano: cierto si no ha habido transacción en un tiempo T Tipo bit: cambia de 0 a 1 o viceversa en cada transacción en S Booleano: cierto si ocurre evento en S en el ciclo actual de simulación Booleano: cierto si hay transacción en S en el ciclo actual de simulación Interval temporal desde el último evento en S Interval temporal desde la última transacción en S Valor de S justo antes del último evento