ABEL源文件的格式(结构化单元) Module name;模块开始 Flags ;标志语句 Title ;标题语句 Declarations ;定义段 Constant declarations;常量定义 Macro Declarations ;宏定义 Device declarations;器件定义 Pin and Node Assignments;管脚及节点定义 Attribute declarations;属性定义 ;逻辑描述段
16 ABEL源文件的格式（结构化单元） Module name ；模块开始 Flags ；标志语句 Title ；标题语句 Declarations ；定义段 Constant Declarations ；常量定义 Macro Declarations ；宏定义 Device Declarations ；器件定义 Pin and Node Assignments ；管脚及节点定义 Attribute Declarations ；属性定义 ；逻辑描述段
Boolean Equations;布尔方程 Truth Tables ;真值表 State Diagrams;状态图 ;测试向量段 Test vectors 测试向量头 Module end 模块结束 注:模块声明必须有,其它部分可选, 各部分要有关键字标识
17 Boolean Equations ；布尔方程 Truth Tables ；真值表 State Diagrams ；状态图 ；测试向量段 Test Vectors ；测试向量头 Module end ；模块结束 注：模块声明必须有，其它部分可选， 各部分要有关键字标识
模块语句和标题语句 1、 Module模块语句 每个模块以 Module语句开始,以End语句结束。 格式: Module模块名 END[模块名j ■说明:(1)一个源文件中的模块不能重名; (2)每个模块包含完整的逻辑设计所需的定义段、 方程、真值表、状态图及仿真向量;
18 二、模块语句和标题语句 ◼ 1、Module 模块语句 ◼ 每个模块以Module语句开始，以End语句结束。 ◼ 格式: Module 模块名 ◼ …. ◼ END [模块名][;] ◼ 说明:(1)一个源文件中的模块不能重名; ◼ (2)每个模块包含完整的逻辑设计所需的定义段、 方程、真值表、状态图及仿真向量； ◼