信号属性及属性函数

综合器支持的属性有:LEFT(左)、RIGHT(正确的)、HIGH(高)、LOW(低)、RANGE(范围)、REVERS RANGE()、
LENGTH(长度)、EVENT(事件)及STABLE(稳定的)。

预定义属性描述语句实际上是一个内部预定义函数，其语句格式如下：
属性测试项目名’属性标识符
属性测试项目名即属性对象，可由相应的标识符表示，属性标识符即属性名。

信号类属性

EVENT:发生事件，就是数据类型的取值范围发生变化，从一种取值转变到另一种取值。
STABLE:是信号在δ时间段内无事件发生，则返回TRUE。

数据区间类属性

这类属性函数主要是对属性项目取值区间进行测试，返回的内容不是一个具体值，而是一个区间
'RANGE[(n)]:与原项目次序相同
'REVERSE_RANGE[(n)]:与原项目次序相反

数值类属性

这类属性函数主要是用于对属性测试目标的一些数值特性进行测试
'LEFT、'RIGHT、'HIG、'LOW

数组类属性’LENGTH

只是对数组的宽度或元素的个数进行测定

用户定义属性

属性与属性值的定义格式如下：ATTRIBUTE 属性名 : 数据类型；ATTRIBUTE 属性名 : OF 对象名 : 对象类型 IS 值