我正在开发隐私保护验证工具，我使用yosys来获取网表的拓扑顺序（gate level parsing using yosys）。它工作得很好，在大多数情况下给了我正确的顺序。但是，当我在iscas89 s386中进行了分配操作时，我添加了并从单元格中获取此输出，但是我得到了错误的输出顺序单元格（O1 O2 O3 O4 O5 O6）。接下来我将举例说明。
输入01110110010（在某个时钟周期内） s386的预期输出是：11000000，但我得到：0011000
手动调试代码后，我发现错误的是在分配操作的拓扑顺序中，yosys没有考虑分配操作并保持原样。以下是网表和yosys输出
S386网表：
module s386 ( GND, VDD, CK, R, v0, v1, v13_D_10, v13_D_11, v13_D_12, v13_D_6,v13_D_7, v13_D_8, v13_D_9, v2, v3, v4, v5, v6 );
input GND, VDD, CK, R, v0, v1, v2, v3, v4, v5, v6;
output v13_D_10, v13_D_11, v13_D_12, v13_D_6, v13_D_7, v13_D_8, v13_D_9;
wire v12, v11, v10, v9, v8, v7, Lv13_D_12, Lv13_D_11, Lv13_D_10,Lv13_D_9,
Lv13_D_8, Lv13_D_7, Lv13_D_6, Lv13_D_5, Lv13_D_4, Lv13_D_3, Lv13_D_2,
Lv13_D_1, Lv13_D_0, n1, n2, n3, n4, n5, n6, n7, n8, n9, n12, n15, n16,
n17, n18, n19, n20, n21, n22, n23, n24, n25, n26, n27, n28, n29, n30,
n31, n32, n33, n34, n35, n36, n37, n38, n39, n40, n41, n42, n43, n44,
n45, n46, n47, n48, n49, n50, n51, n52, n53, n54, n55, n56, n57, n58,
n59, n60, n61, n62, n63, n64, n65, n66, n67, n68, n69, n70, n71, n72,
n73, n74, n75, n76, n77, n78, n79, n80, n81, n82, n83, n84, n85, n86,
n87, n88, n89, n90, n91, n92, n93, n94, n95, n96, n97, n98, n99, n100,
n101, n102, n103, n104, n105, n106, n107, n108, n109, n110, n111,
n112, n113, n114;
assign v13_D_12 = Lv13_D_12;
assign v13_D_11 = Lv13_D_11;
assign v13_D_10 = Lv13_D_10;
assign v13_D_9 = Lv13_D_9;
assign v13_D_8 = Lv13_D_8;
assign v13_D_7 = Lv13_D_7;
assign v13_D_6 = Lv13_D_6;
AND2X1 O1 ( .A(Lv13_D_12), .B(Lv13_D_12), .Y(v13_D_12) );
AND2X1 O2 ( .A(Lv13_D_11), .B(Lv13_D_11), .Y(v13_D_11) );
AND2X1 O3 ( .A(Lv13_D_10), .B(Lv13_D_10), .Y(v13_D_10) );
AND2X1 O4 ( .A(Lv13_D_9), .B(Lv13_D_9), .Y(v13_D_9) );
AND2X1 O5 ( .A(Lv13_D_8), .B(Lv13_D_8), .Y(v13_D_8) );
AND2X1 O6 ( .A(Lv13_D_7), .B(Lv13_D_7), .Y(v13_D_7) );
AND2X1 O7 ( .A(Lv13_D_6), .B(Lv13_D_6), .Y(v13_D_6) );
DFFSR \DFF_5/Q_reg ( .D(Lv13_D_0), .CLK(CK), .R(R), .Q(v7) );
DFFSR \DFF_4/Q_reg ( .D(Lv13_D_1), .CLK(CK), .R(R), .Q(v8) );
DFFSR \DFF_1/Q_reg ( .D(Lv13_D_4), .CLK(CK), .R(R), .Q(v11) );
DFFSR \DFF_0/Q_reg ( .D(Lv13_D_5), .CLK(CK), .R(R), .Q(v12) );
DFFSR \DFF_3/Q_reg ( .D(Lv13_D_2), .CLK(CK), .R(R), .Q(v9) );
DFFSR \DFF_2/Q_reg ( .D(Lv13_D_3), .CLK(CK), .R(R), .Q(v10) );
INVX1 U1 ( .A(n75), .Y(n1) );
INVX1 U2 ( .A(v0), .Y(n2) );
INVX1 U3 ( .A(v1), .Y(n3) );
INVX1 U4 ( .A(n41), .Y(n4) );
INVX1 U5 ( .A(n101), .Y(n5) );
INVX1 U6 ( .A(v4), .Y(n6) );
INVX1 U7 ( .A(v5), .Y(n7) );
INVX1 U8 ( .A(v6), .Y(n8) );
INVX1 U9 ( .A(v12), .Y(n9) );
INVX1 U12 ( .A(v9), .Y(n12) );
OR2X1 U15 ( .A(n15), .B(n16), .Y(Lv13_D_9) );
AND2X1 U16 ( .A(n17), .B(n18), .Y(n15) );
AND2X1 U17 ( .A(n19), .B(n3), .Y(n18) );
AND2X1 U18 ( .A(n109), .B(n113), .Y(n19) );
AND2X1 U19 ( .A(n20), .B(v4), .Y(n17) );
AND2X1 U20 ( .A(n21), .B(n5), .Y(n20) );
AND2X1 U21 ( .A(n8), .B(n16), .Y(Lv13_D_8) );
AND2X1 U22 ( .A(n22), .B(n23), .Y(Lv13_D_7) );
OR2X1 U23 ( .A(n24), .B(n25), .Y(n23) );
AND2X1 U24 ( .A(n26), .B(n111), .Y(n24) );
OR2X1 U25 ( .A(n27), .B(n28), .Y(Lv13_D_6) );
AND2X1 U26 ( .A(v5), .B(n29), .Y(n28) );
AND2X1 U27 ( .A(n30), .B(n22), .Y(n27) );
AND2X1 U28 ( .A(n31), .B(n106), .Y(n30) );
OR2X1 U29 ( .A(n32), .B(n33), .Y(n31) );
AND2X1 U30 ( .A(n114), .B(v4), .Y(n33) );
AND2X1 U31 ( .A(n34), .B(n35), .Y(n32) );
OR2X1 U32 ( .A(v2), .B(n114), .Y(n35) );
OR2X1 U33 ( .A(v3), .B(n111), .Y(n34) );
OR2X1 U34 ( .A(n36), .B(n29), .Y(Lv13_D_5) );
AND2X1 U35 ( .A(n37), .B(n22), .Y(n36) );
AND2X1 U36 ( .A(n112), .B(n38), .Y(n37) );
OR2X1 U37 ( .A(n39), .B(n26), .Y(n38) );
AND2X1 U38 ( .A(n40), .B(v3), .Y(n39) );
AND2X1 U39 ( .A(n41), .B(n106), .Y(n40) );
OR2X1 U40 ( .A(n42), .B(n43), .Y(Lv13_D_4) );
AND2X1 U41 ( .A(n22), .B(n44), .Y(n43) );
OR2X1 U42 ( .A(n45), .B(n46), .Y(n44) );
OR2X1 U43 ( .A(n114), .B(n25), .Y(n46) );
AND2X1 U44 ( .A(n47), .B(v2), .Y(n45) );
AND2X1 U45 ( .A(n106), .B(n111), .Y(n47) );
AND2X1 U46 ( .A(n29), .B(n7), .Y(n42) );
AND2X1 U47 ( .A(n48), .B(n49), .Y(n29) );
AND2X1 U48 ( .A(n50), .B(n107), .Y(n49) );
OR2X1 U49 ( .A(n51), .B(n52), .Y(Lv13_D_3) );
AND2X1 U50 ( .A(n53), .B(n54), .Y(n51) );
OR2X1 U51 ( .A(n55), .B(n56), .Y(n54) );
AND2X1 U52 ( .A(n57), .B(v1), .Y(n55) );
AND2X1 U53 ( .A(n110), .B(n7), .Y(n57) );
OR2X1 U54 ( .A(n58), .B(n59), .Y(Lv13_D_2) );
OR2X1 U55 ( .A(n52), .B(n60), .Y(n59) );
AND2X1 U56 ( .A(n61), .B(n62), .Y(n60) );
AND2X1 U57 ( .A(n2), .B(n7), .Y(n61) );
AND2X1 U58 ( .A(n63), .B(v1), .Y(n58) );
AND2X1 U59 ( .A(v0), .B(n53), .Y(n63) );
AND2X1 U60 ( .A(n64), .B(n65), .Y(Lv13_D_12) );
AND2X1 U61 ( .A(n110), .B(n2), .Y(n65) );
AND2X1 U62 ( .A(n62), .B(v5), .Y(n64) );
OR2X1 U63 ( .A(n66), .B(n67), .Y(Lv13_D_11) );
OR2X1 U64 ( .A(n52), .B(n16), .Y(n67) );
AND2X1 U65 ( .A(n68), .B(n69), .Y(n16) );
AND2X1 U66 ( .A(v0), .B(n110), .Y(n69) );
AND2X1 U67 ( .A(n12), .B(n53), .Y(n68) );
AND2X1 U68 ( .A(n109), .B(n70), .Y(n52) );
OR2X1 U69 ( .A(n71), .B(n72), .Y(n70) );
AND2X1 U70 ( .A(n56), .B(n73), .Y(n72) );
OR2X1 U71 ( .A(n74), .B(n2), .Y(n56) );
AND2X1 U72 ( .A(v1), .B(n12), .Y(n74) );
AND2X1 U73 ( .A(n75), .B(n21), .Y(n71) );
AND2X1 U74 ( .A(n76), .B(n21), .Y(n66) );
AND2X1 U75 ( .A(n12), .B(n9), .Y(n21) );
AND2X1 U76 ( .A(n77), .B(n109), .Y(n76) );
OR2X1 U77 ( .A(n78), .B(n25), .Y(n77) );
AND2X1 U78 ( .A(n26), .B(n112), .Y(n78) );
AND2X1 U79 ( .A(n107), .B(n114), .Y(n26) );
AND2X1 U80 ( .A(n79), .B(n62), .Y(Lv13_D_10) );
AND2X1 U81 ( .A(n53), .B(n108), .Y(n62) );
AND2X1 U82 ( .A(n73), .B(n80), .Y(n53) );
AND2X1 U83 ( .A(n9), .B(n106), .Y(n80) );
AND2X1 U84 ( .A(v1), .B(n81), .Y(n79) );
OR2X1 U85 ( .A(n82), .B(n109), .Y(n81) );
AND2X1 U86 ( .A(v5), .B(v0), .Y(n82) );
AND2X1 U87 ( .A(n50), .B(n83), .Y(Lv13_D_1) );
OR2X1 U88 ( .A(n84), .B(n85), .Y(n83) );
AND2X1 U89 ( .A(n48), .B(n106), .Y(n85) );
AND2X1 U90 ( .A(n73), .B(n105), .Y(n48) );
AND2X1 U91 ( .A(n111), .B(n113), .Y(n73) );
AND2X1 U92 ( .A(n86), .B(n9), .Y(n84) );
OR2X1 U93 ( .A(n87), .B(n88), .Y(n86) );
AND2X1 U94 ( .A(n89), .B(n106), .Y(n88) );
OR2X1 U95 ( .A(n90), .B(n91), .Y(n89) );
AND2X1 U96 ( .A(v4), .B(n92), .Y(n91) );
OR2X1 U97 ( .A(n93), .B(n114), .Y(n92) );
AND2X1 U98 ( .A(v2), .B(n111), .Y(n93) );
AND2X1 U99 ( .A(n94), .B(v3), .Y(n90) );
AND2X1 U100 ( .A(n112), .B(n4), .Y(n94) );
AND2X1 U101 ( .A(n113), .B(v2), .Y(n41) );
AND2X1 U102 ( .A(n107), .B(n95), .Y(n87) );
OR2X1 U103 ( .A(n96), .B(n97), .Y(n95) );
AND2X1 U104 ( .A(n112), .B(n113), .Y(n97) );
AND2X1 U105 ( .A(n98), .B(v5), .Y(n96) );
AND2X1 U106 ( .A(n114), .B(n111), .Y(n98) );
AND2X1 U107 ( .A(n22), .B(n99), .Y(Lv13_D_0) );
OR2X1 U108 ( .A(n100), .B(n25), .Y(n99) );
AND2X1 U109 ( .A(n6), .B(n5), .Y(n25) );
OR2X1 U110 ( .A(n111), .B(n102), .Y(n101) );
OR2X1 U111 ( .A(v3), .B(n107), .Y(n102) );
AND2X1 U112 ( .A(n107), .B(n103), .Y(n100) );
OR2X1 U113 ( .A(n111), .B(n113), .Y(n103) );
AND2X1 U114 ( .A(n9), .B(n50), .Y(n22) );
AND2X1 U115 ( .A(n1), .B(n104), .Y(n50) );
AND2X1 U116 ( .A(n12), .B(n109), .Y(n104) );
OR2X1 U117 ( .A(v1), .B(n2), .Y(n75) );
INVX1 U118 ( .A(n9), .Y(n105) );
INVX1 U119 ( .A(v11), .Y(n106) );
INVX1 U120 ( .A(n106), .Y(n107) );
INVX1 U121 ( .A(n12), .Y(n108) );
INVX1 U122 ( .A(v10), .Y(n109) );
INVX1 U123 ( .A(n109), .Y(n110) );
INVX1 U124 ( .A(v8), .Y(n111) );
INVX1 U125 ( .A(n111), .Y(n112) );
INVX1 U126 ( .A(v7), .Y(n113) );
INVX1 U127 ( .A(n113), .Y(n114) );
endmodule
Yosys命令：
read_verilog s386.v
hierarchy -generate * o:Y o:Q i:*
torder -stop DFFSR Q
Yosys输出：
loop O1
loop O2
loop O3
loop O4
loop O5
loop O6
loop O7
cell U2
cell U117
cell U1
cell U12
cell U122
cell U116
cell U115
cell U9
cell U114
cell U124
cell U125
cell U126
cell U101
cell U119
cell U39
cell U38
cell U120
cell U127
cell U79
cell U37
cell U36
cell U35
cell U48
cell U118
cell U91
cell U90
cell U47
cell U34
cell DFF_0/Q_reg
cell U111
cell U110
cell U5
cell U6
cell U109
cell U43
cell U45
cell U44
cell U42
cell U41
cell U7
cell U46
cell U40
cell DFF_1/Q_reg
cell U123
cell U53
cell U52
cell U72
cell U71
cell U51
cell U83
cell U82
cell U50
cell U70
cell U75
cell U73
cell U69
cell U68
cell U49
cell DFF_2/Q_reg
cell U57
cell U121
cell U81
cell U56
cell U55
cell U59
cell U58
cell U54
cell DFF_3/Q_reg
cell U89
cell U104
cell U106
cell U105
cell U103
cell U102
cell U98
cell U97
cell U96
cell U4
cell U100
cell U99
cell U95
cell U94
cell U93
cell U92
cell U88
cell U87
cell DFF_4/Q_reg
cell U113
cell U112
cell U108
cell U107
cell DFF_5/Q_reg
cell U61
cell U62
cell U60
cell O1
cell U66
cell U67
cell U65
cell U64
cell U78
cell U77
cell U76
cell U74
cell U63
cell O2
cell U86
cell U85
cell U84
cell U80
cell O3
cell U18
cell U3
cell U17
cell U20
cell U19
cell U16
cell U15
cell O4
cell U8
cell U21
cell O5
cell U24
cell U23
cell U22
cell O6
cell U26
cell U30
cell U32
cell U33
cell U31
cell U29
cell U28
cell U27
cell U25
cell O7
我非常感谢您的帮助和反馈。