ABEL河文件成 模块开始( module语句 标志(nags语句) 说明段 标题( title语句) 器件定义( device语句) 定义段 管脚、节点定义(pin,node语句) 属性定义( Istype语句) 常量定义( constant语句) 宏定义( macro语句) 逻辑方程式( equations语句) 描述段 真值表( truth table语句) 状态图( state diagran语句) 熔丝段定义( fuses语句) 熔丝段 测试向量( test vectors语句) 测试段 模块结束〔end语句)