jchdl - 门和开关层（GSL）

第一部分静态建模：拓扑模型

GSL层拓扑建模相对简单，由线和节点组成：

线连接各个节点；

节点上带有input/output/inout三种类型的接口（Port），供线连接；

一. Port

线与节点接触的地方为接口。

从微观层面看，线和节点连接，实际上为线的接口和节点的接口连接。一根线的两端各有一个接口，节点则根据input/output/inout可以有很多个接口。

二. Wire

线有两个接口，分别处在线的两端。

线是有方向的，输入端的端口为input port，输出端的端口为output port。

线的输入端被驱动（driven），称为assign，即被赋值。微观上看，是上一个节点的output port连接到该线的input port。

线的输出端连接（connect）下一个连接的节点。微观上看，是线的output port连接下一个节点的input port。

三. Node

节点可以有多个接口，分为三类：input, output, inout(暂不支持)。

节点分为原子节点和复合节点。

原子节点内部没有其他节点，实现自身的逻辑。复合节点内部包含其他节点，与内部节点也通过接口（port）连接。

四. WireVec

辅助类型，多根线组成一排，简化处理。

五. Propagatable

抽象类型，具有传播能力的元素。接口、线和节点都是。用于处理值的传播。

第二部分动态建模：值传播（propagation）

一. 四值逻辑

GSL层支持0, 1, x, z 四种值。

二. 接口有值

值存在于任何可传播的位置。比如不仅存在于线的两端，存在于线的任何位置，存在于节点的所有接口处。

但值主要存在于接口处，并通过接口进行传播。

原因为：

值在接口处被测量；反过来看，线如果包皮，则无法在线身测量，只能在两端测量。节点如芯片可能被封装，只有针脚处可被测量；

值在接口处传递给下一个节点；

所以在建模时，值存放于接口处，最为恰当。

三. 值的传播

值在port之间传播：前一个port的值传递给连接在一起的下一个port。

根据拓扑模型的特点，值的传播行为如下：

如果Propagatable为线，则值从输入接口，传入输出接口，值不变；

如果Propagatable为原子节点，则值经由原子节点定义的逻辑处理之后，传导至输出接口；

如果Propagatable为复合节点，则值传播至input port时直接穿越复合节点的边界，传播至内部的子节点（参考2进行传播）。最终传导至output port，直接穿越边界。也就是说，复合节点在传播过程中是不可见的。