在部分扫描问题中(par
tial scan problem),目前需要获得所有触发器(flip-flop)之间的依赖情况(连接关系)。也就是得到触发器的拓扑结构。在ISCAS89算例中,给出的是Gate level的文件,比如s27如下:
- # 4 inputs
- # 1 outputs
- # 3 D-type flipflops
- # 2 inverters
- # 8 gates (1 ANDs + 1 NANDs + 2 ORs + 4 NORs)
- INPUT(G0)
- INPUT(G1)
- INPUT(G2)
- INPUT(G3)
- OUTPUT(G17)
- G5 = DFF(G10)
- G6 = DFF(G11)
- G7 = DFF(G13)
- G14 = NOT(G0)
- G17 = NOT(G11)
- G8 = AND(G14, G6)
- G15 = OR(G12, G8)
- G16 = OR(G3, G8)
- G9 = NAND(G16, G15)
- G10 = NOR(G14, G11)
- G11 = NOR(G5, G9)
- G12 = NOR(G1, G7)
- G13 = NOR(G2, G12)
其中有3个触发器,如何从这个文件中获得触发器之间的连接情况呢?比如下图就是一个只包含6个触发器的拓扑图。
得到触发器之间的连接情况即可