结构
1、标示符
- 必须包含字母,可以包含下划线
- 以字母开头,区分大小写
2、模块
- 定义部分
- 可选的控制部分
3、范围
- 模块定义部分
- 模块控制部分
- 元件类型
- 函数
- altstep
- test case
- 语句块
- 实例
- 用户定义名称类型
4、常数
- 关键字const
- 必须在声明的时候赋值
- 不能使用rnd()函数
5、变量
- 关键字var
- 不能再模块层声明,即不允许全局变量
- 声明时可以赋值,如果为赋值前读或用将导致run-time error
9、函数
- 关键字function在模块定义部分中定义
- type前加in传递数,out和inout传递reference
- 支持外部函数external
11、参数初始值
- in可以有初始值,out和inout不能有
- 带初始值的参数后面跟无初始值的参数,中间使用破折号隔开