aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger/.xaiger.cc.swo
blob: a1272983532268e20e66d4f82b5be9c8144f680d (plain)
ofshex dumpascii
0000 62 30 56 49 4d 20 38 2e 30 00 00 00 00 10 00 00 e8 de 6d 5c c1 31 52 00 9a 60 00 00 65 64 64 69 b0VIM.8.0.........m\.1R..`..eddi
0020 65 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 e...............................
0040 00 00 00 00 65 64 64 69 65 73 2d 64 65 73 6b 74 6f 70 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ....eddies-desktop..............
0060 00 00 00 00 00 00 00 00 00 00 00 00 7e 65 64 64 69 65 2f 79 6f 73 79 73 2f 78 61 69 67 2f 62 61 ............~eddie/yosys/xaig/ba
0080 63 6b 65 6e 64 73 2f 61 69 67 65 72 2f 78 61 69 67 65 72 2e 63 63 00 00 00 00 00 00 00 00 00 00 ckends/aiger/xaiger.cc..........
00a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
00c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
00e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0100 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0120 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0140 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0160 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0180 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
01a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
01c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
01e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0200 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0220 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0240 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0260 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0280 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
02a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
02c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
02e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0300 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0320 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0340 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0360 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0380 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
03a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
03c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
03e0 00 00 00 00 00 00 00 00 00 75 74 66 2d 38 0d 00 33 32 31 30 00 00 00 00 23 22 21 20 13 12 55 00 .........utf-8..3210....#"!...U.
0400 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0420 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0440 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0460 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0480 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
04a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
04c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
04e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0500 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0520 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0540 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0560 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0580 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
05a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
05c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
05e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0600 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0620 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0640 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0660 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0680 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
06a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
06c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
06e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0700 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0720 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0740 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0760 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0780 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
07a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
07c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
07e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0800 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0820 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0840 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0860 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0880 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
08a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
08c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
08e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0900 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0920 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0940 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0960 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0980 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
09a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
09c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
09e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0aa0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ac0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ae0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ba0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0bc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0be0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0c00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0c20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0c40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0c60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0c80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ca0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0cc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ce0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0d00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0d20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0d40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0d60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0d80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0da0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0dc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0de0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0e00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0e20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0e40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0e60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0e80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ea0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ec0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ee0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0f00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0f20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0f40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0f60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0f80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0fa0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0fc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0fe0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1000 74 70 07 00 7f 00 00 00 02 00 00 00 00 00 00 00 80 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 tp..............................
1020 01 00 00 00 00 00 00 00 05 00 00 00 00 00 00 00 5c 00 00 00 00 00 00 00 81 00 00 00 00 00 00 00 ................\...............
1040 01 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 32 00 00 00 00 00 00 00 d6 00 00 00 00 00 00 00 ................2...............
1060 01 00 00 00 00 00 00 00 08 00 00 00 00 00 00 00 8e 00 00 00 00 00 00 00 0f 01 00 00 00 00 00 00 ................................
1080 01 00 00 00 00 00 00 00 06 00 00 00 00 00 00 00 7a 00 00 00 00 00 00 00 9d 01 00 00 00 00 00 00 ................z...............
10a0 01 00 00 00 00 00 00 00 07 00 00 00 00 00 00 00 79 00 00 00 00 00 00 00 17 02 00 00 00 00 00 00 ................y...............
10c0 01 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 30 00 00 00 00 00 00 00 90 02 00 00 00 00 00 00 ................0...............
10e0 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1100 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1120 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1140 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1160 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1180 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
11a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
11c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
11e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1200 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1220 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1240 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1260 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1280 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
12a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
12c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
12e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1300 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1320 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1340 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1360 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1380 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
13a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
13c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
13e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1400 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1420 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1440 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1460 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1480 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
14a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
14c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
14e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1500 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1520 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1540 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1560 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1580 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
15a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
15c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
15e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1600 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1620 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1640 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1660 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1680 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
16a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
16c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
16e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1700 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1720 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1740 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1760 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1780 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
17a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
17c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
17e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1800 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1820 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1840 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1860 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1880 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
18a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
18c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
18e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1900 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1920 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1940 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1960 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1980 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
19a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
19c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
19e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1a00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1a20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1a40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1a60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1a80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1aa0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1ac0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1ae0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1b00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1b20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1b40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1b60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1b80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1ba0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1bc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1be0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1c00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1c20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1c40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1c60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1c80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1ca0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1cc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1ce0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1d00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1d20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1d40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1d60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1d80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1da0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1dc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1de0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1e00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1e20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1e40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1e60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1e80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1ea0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1ec0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1ee0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1f00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1f20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1f40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1f60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1f80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1fa0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1fc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1fe0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
2000 61 64 00 00 32 00 00 00 4e 02 00 00 00 10 00 00 80 00 00 00 00 00 00 00 fd 0f 00 00 d5 0f 00 00 ad..2...N.......................
2020 d2 0f 00 00 95 0f 00 00 92 0f 00 00 45 0f 00 00 fa 0e 00 00 b4 0e 00 00 b1 0e 00 00 64 0e 00 00 ............E...............d...
2040 1f 0e 00 00 d3 0d 00 00 88 0d 00 00 3e 0d 00 00 f2 0c 00 00 af 0c 00 00 ac 0c 00 00 a8 0c 00 00 ............>...................
2060 a7 0c 00 00 8d 0c 00 00 70 0c 00 00 6f 0c 00 00 59 0c 00 00 41 0c 00 00 40 0c 00 00 16 0c 00 00 ........p...o...Y...A...@.......
2080 14 0c 00 00 ff 0b 00 00 fe 0b 00 00 e9 0b 00 00 cd 0b 00 00 bf 0b 00 00 bc 0b 00 00 bb 0b 00 00 ................................
20a0 b0 0b 00 00 ae 0b 00 00 ad 0b 00 00 99 0b 00 00 97 0b 00 00 86 0b 00 00 74 0b 00 00 64 0b 00 00 ........................t...d...
20c0 63 0b 00 00 45 0b 00 00 1e 0b 00 00 ec 0a 00 00 bf 0a 00 00 a1 0a 00 00 81 0a 00 00 5d 0a 00 00 c...E.......................]...
20e0 5c 0a 00 00 39 0a 00 00 03 0a 00 00 c7 09 00 00 c6 09 00 00 aa 09 00 00 86 09 00 00 62 09 00 00 \...9.......................b...
2100 61 09 00 00 41 09 00 00 2a 09 00 00 29 09 00 00 0d 09 00 00 0a 09 00 00 f6 08 00 00 ae 08 00 00 a...A...*...)...................
2120 9c 08 00 00 99 08 00 00 98 08 00 00 7f 08 00 00 7c 08 00 00 5d 08 00 00 59 08 00 00 43 08 00 00 ................|...]...Y...C...
2140 42 08 00 00 1e 08 00 00 fc 07 00 00 db 07 00 00 d1 07 00 00 b4 07 00 00 8a 07 00 00 74 07 00 00 B...........................t...
2160 6a 07 00 00 4d 07 00 00 2c 07 00 00 0a 07 00 00 e7 06 00 00 c4 06 00 00 ba 06 00 00 9b 06 00 00 j...M...,.......................
2180 6c 06 00 00 67 06 00 00 66 06 00 00 39 06 00 00 d9 05 00 00 d5 05 00 00 d4 05 00 00 b0 05 00 00 l...g...f...9...................
21a0 96 05 00 00 93 05 00 00 92 05 00 00 06 05 00 00 03 05 00 00 e5 04 00 00 c9 04 00 00 c8 04 00 00 ................................
21c0 ae 04 00 00 8a 04 00 00 6c 04 00 00 56 04 00 00 55 04 00 00 3c 04 00 00 18 04 00 00 ff 03 00 00 ........l...V...U...<...........
21e0 e9 03 00 00 e8 03 00 00 ce 03 00 00 aa 03 00 00 90 03 00 00 7a 03 00 00 79 03 00 00 55 03 00 00 ....................z...y...U...
2200 51 03 00 00 26 03 00 00 02 03 00 00 cf 02 00 00 8b 02 00 00 4e 02 00 00 4d 02 00 00 00 00 00 00 Q...&...............N...M.......
2220 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
2240 00 00 00 00 00 00 00 00 00 00 00 00 00 00 09 09 09 09 09 69 66 20 28 69 6e 69 74 76 61 6c 5b 69 ...................if.(initval[i
2260 5d 20 3d 3d 20 53 74 61 74 65 3a 3a 53 30 20 7c 7c 20 69 6e 69 74 76 61 6c 5b 69 5d 20 3d 3d 20 ].==.State::S0.||.initval[i].==.
2280 53 74 61 74 65 3a 3a 53 31 29 00 09 09 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 30 3b 20 69 State::S1).....for.(int.i.=.0;.i
22a0 20 3c 20 47 65 74 53 69 7a 65 28 77 69 72 65 29 20 26 26 20 69 20 3c 20 47 65 74 53 69 7a 65 28 .<.GetSize(wire).&&.i.<.GetSize(
22c0 69 6e 69 74 76 61 6c 29 3b 20 69 2b 2b 29 00 09 09 09 09 43 6f 6e 73 74 20 69 6e 69 74 76 61 6c initval);.i++).....Const.initval
22e0 20 3d 20 77 69 72 65 2d 3e 61 74 74 72 69 62 75 74 65 73 2e 61 74 28 22 5c 5c 69 6e 69 74 22 29 .=.wire->attributes.at("\\init")
2300 3b 00 09 09 09 09 53 69 67 53 70 65 63 20 69 6e 69 74 73 69 67 20 3d 20 73 69 67 6d 61 70 28 77 ;.....SigSpec.initsig.=.sigmap(w
2320 69 72 65 29 3b 00 09 09 09 69 66 20 28 77 69 72 65 2d 3e 61 74 74 72 69 62 75 74 65 73 2e 63 6f ire);....if.(wire->attributes.co
2340 75 6e 74 28 22 5c 5c 69 6e 69 74 22 29 29 20 7b 00 09 09 7b 00 09 09 66 6f 72 20 28 61 75 74 6f unt("\\init")).{...{...for.(auto
2360 20 77 69 72 65 20 3a 20 6d 6f 64 75 6c 65 2d 3e 77 69 72 65 73 28 29 29 00 00 09 09 09 09 73 69 .wire.:.module->wires())......si
2380 67 6d 61 70 2e 61 64 64 28 77 69 72 65 29 3b 00 09 09 09 69 66 20 28 77 69 72 65 2d 3e 70 6f 72 gmap.add(wire);....if.(wire->por
23a0 74 5f 6f 75 74 70 75 74 29 00 09 09 66 6f 72 20 28 61 75 74 6f 20 77 69 72 65 20 3a 20 6d 6f 64 t_output)...for.(auto.wire.:.mod
23c0 75 6c 65 2d 3e 77 69 72 65 73 28 29 29 00 09 09 2f 2f 20 70 72 6f 6d 6f 74 65 20 6f 75 74 70 75 ule->wires())...//.promote.outpu
23e0 74 20 77 69 72 65 73 00 00 09 09 09 09 73 69 67 6d 61 70 2e 61 64 64 28 77 69 72 65 29 3b 00 09 t.wires......sigmap.add(wire);..
2400 09 09 69 66 20 28 77 69 72 65 2d 3e 70 6f 72 74 5f 69 6e 70 75 74 29 00 09 09 66 6f 72 20 28 61 ..if.(wire->port_input)...for.(a
2420 75 74 6f 20 77 69 72 65 20 3a 20 6d 6f 64 75 6c 65 2d 3e 77 69 72 65 73 28 29 29 00 09 09 2f 2f uto.wire.:.module->wires())...//
2440 20 70 72 6f 6d 6f 74 65 20 69 6e 70 75 74 20 77 69 72 65 73 00 00 09 09 09 09 73 69 67 6d 61 70 .promote.input.wires......sigmap
2460 2e 61 64 64 28 77 69 72 65 29 3b 00 09 09 09 69 66 20 28 77 69 72 65 2d 3e 6e 61 6d 65 5b 30 5d .add(wire);....if.(wire->name[0]
2480 20 3d 3d 20 27 5c 5c 27 29 00 09 09 66 6f 72 20 28 61 75 74 6f 20 77 69 72 65 20 3a 20 6d 6f 64 .==.'\\')...for.(auto.wire.:.mod
24a0 75 6c 65 2d 3e 77 69 72 65 73 28 29 29 00 09 09 2f 2f 20 70 72 6f 6d 6f 74 65 20 70 75 62 6c 69 ule->wires())...//.promote.publi
24c0 63 20 77 69 72 65 73 00 00 09 09 70 6f 6f 6c 3c 53 69 67 42 69 74 3e 20 75 6e 75 73 65 64 5f 62 c.wires....pool<SigBit>.unused_b
24e0 69 74 73 3b 00 09 09 70 6f 6f 6c 3c 53 69 67 42 69 74 3e 20 75 6e 64 72 69 76 65 6e 5f 62 69 74 its;...pool<SigBit>.undriven_bit
2500 73 3b 00 09 7b 00 09 58 41 69 67 65 72 57 72 69 74 65 72 28 4d 6f 64 75 6c 65 20 2a 6d 6f 64 75 s;..{..XAigerWriter(Module.*modu
2520 6c 65 2c 20 62 6f 6f 6c 20 7a 69 6e 69 74 5f 6d 6f 64 65 2c 20 62 6f 6f 6c 20 69 6d 6f 64 65 2c le,.bool.zinit_mode,.bool.imode,
2540 20 62 6f 6f 6c 20 6f 6d 6f 64 65 2c 20 62 6f 6f 6c 20 62 6d 6f 64 65 29 20 3a 20 6d 6f 64 75 6c .bool.omode,.bool.bmode).:.modul
2560 65 28 6d 6f 64 75 6c 65 29 2c 20 7a 69 6e 69 74 5f 6d 6f 64 65 28 7a 69 6e 69 74 5f 6d 6f 64 65 e(module),.zinit_mode(zinit_mode
2580 29 2c 20 73 69 67 6d 61 70 28 6d 6f 64 75 6c 65 29 00 00 09 7d 00 09 09 72 65 74 75 72 6e 20 61 ),.sigmap(module)...}...return.a
25a0 69 67 5f 6d 61 70 2e 61 74 28 62 69 74 29 3b 00 09 09 6c 6f 67 5f 61 73 73 65 72 74 28 61 69 67 ig_map.at(bit);...log_assert(aig
25c0 5f 6d 61 70 2e 61 74 28 62 69 74 29 20 3e 3d 20 30 29 3b 00 00 09 09 7d 00 09 09 09 09 6c 6f 67 _map.at(bit).>=.0);....}.....log
25e0 5f 65 72 72 6f 72 28 22 44 65 73 69 67 6e 20 63 6f 6e 74 61 69 6e 73 20 27 78 27 20 6f 72 20 27 _error("Design.contains.'x'.or.'
2600 7a 27 20 62 69 74 73 2e 20 55 73 65 20 27 73 65 74 75 6e 64 65 66 27 20 74 6f 20 72 65 70 6c 61 z'.bits..Use.'setundef'.to.repla
2620 63 65 20 74 68 6f 73 65 20 63 6f 6e 73 74 61 6e 74 73 2e 5c 6e 22 29 3b 00 09 09 09 69 66 20 28 ce.those.constants.\n");....if.(
2640 62 69 74 20 3d 3d 20 53 74 61 74 65 3a 3a 53 78 20 7c 7c 20 62 69 74 20 3d 3d 20 53 74 61 74 65 bit.==.State::Sx.||.bit.==.State
2660 3a 3a 53 7a 29 00 00 09 09 09 7d 00 09 09 09 09 61 69 67 5f 6d 61 70 5b 62 69 74 5d 20 3d 20 62 ::Sz).....}.....aig_map[bit].=.b
2680 69 74 32 61 69 67 28 61 6c 69 61 73 5f 6d 61 70 2e 61 74 28 62 69 74 29 29 3b 00 09 09 09 69 66 it2aig(alias_map.at(bit));....if
26a0 20 28 61 6c 69 61 73 5f 6d 61 70 2e 63 6f 75 6e 74 28 62 69 74 29 29 20 7b 00 09 09 09 7d 20 65 .(alias_map.count(bit)).{....}.e
26c0 6c 73 65 00 09 09 09 09 61 69 67 5f 6d 61 70 5b 62 69 74 5d 20 3d 20 6d 6b 67 61 74 65 28 61 30 lse.....aig_map[bit].=.mkgate(a0
26e0 2c 20 61 31 29 3b 00 09 09 09 09 69 6e 74 20 61 31 20 3d 20 62 69 74 32 61 69 67 28 61 72 67 73 ,.a1);.....int.a1.=.bit2aig(args
2700 2e 73 65 63 6f 6e 64 29 3b 00 09 09 09 09 69 6e 74 20 61 30 20 3d 20 62 69 74 32 61 69 67 28 61 .second);.....int.a0.=.bit2aig(a
2720 72 67 73 2e 66 69 72 73 74 29 3b 00 09 09 09 09 61 75 74 6f 20 61 72 67 73 20 3d 20 61 6e 64 5f rgs.first);.....auto.args.=.and_
2740 6d 61 70 2e 61 74 28 62 69 74 29 3b 00 09 09 09 69 66 20 28 61 6e 64 5f 6d 61 70 2e 63 6f 75 6e map.at(bit);....if.(and_map.coun
2760 74 28 62 69 74 29 29 20 7b 00 09 09 09 7d 20 65 6c 73 65 00 09 09 09 09 61 69 67 5f 6d 61 70 5b t(bit)).{....}.else.....aig_map[
2780 62 69 74 5d 20 3d 20 61 3b 00 09 09 09 09 69 6e 74 20 61 20 3d 20 62 69 74 32 61 69 67 28 6e 6f bit].=.a;.....int.a.=.bit2aig(no
27a0 74 5f 6d 61 70 2e 61 74 28 62 69 74 29 29 20 5e 20 31 3b 00 09 09 09 69 66 20 28 6e 6f 74 5f 6d t_map.at(bit)).^.1;....if.(not_m
27c0 61 70 2e 63 6f 75 6e 74 28 62 69 74 29 29 20 7b 00 09 09 09 7d 20 65 6c 73 65 00 09 09 09 09 61 ap.count(bit)).{....}.else.....a
27e0 69 67 5f 6d 61 70 5b 62 69 74 5d 20 3d 20 69 6e 69 74 73 74 61 74 65 5f 66 66 3b 00 09 09 09 09 ig_map[bit].=.initstate_ff;.....
2800 6c 6f 67 5f 61 73 73 65 72 74 28 69 6e 69 74 73 74 61 74 65 5f 66 66 20 3e 20 30 29 3b 00 09 09 log_assert(initstate_ff.>.0);...
2820 09 69 66 20 28 69 6e 69 74 73 74 61 74 65 5f 62 69 74 73 2e 63 6f 75 6e 74 28 62 69 74 29 29 20 .if.(initstate_bits.count(bit)).
2840 7b 00 00 09 09 09 61 69 67 5f 6d 61 70 5b 62 69 74 5d 20 3d 20 2d 31 3b 00 09 09 7b 00 09 09 69 {.....aig_map[bit].=.-1;...{...i
2860 66 20 28 61 69 67 5f 6d 61 70 2e 63 6f 75 6e 74 28 62 69 74 29 20 3d 3d 20 30 29 00 09 7b 00 09 f.(aig_map.count(bit).==.0)..{..
2880 69 6e 74 20 62 69 74 32 61 69 67 28 53 69 67 42 69 74 20 62 69 74 29 00 00 09 7d 00 09 09 72 65 int.bit2aig(SigBit.bit)...}...re
28a0 74 75 72 6e 20 32 2a 61 69 67 5f 6d 3b 00 09 09 61 69 67 5f 67 61 74 65 73 2e 70 75 73 68 5f 62 turn.2*aig_m;...aig_gates.push_b
28c0 61 63 6b 28 61 30 20 3e 20 61 31 20 3f 20 6d 61 6b 65 5f 70 61 69 72 28 61 30 2c 20 61 31 29 20 ack(a0.>.a1.?.make_pair(a0,.a1).
28e0 3a 20 6d 61 6b 65 5f 70 61 69 72 28 61 31 2c 20 61 30 29 29 3b 00 09 09 61 69 67 5f 6d 2b 2b 2c :.make_pair(a1,.a0));...aig_m++,
2900 20 61 69 67 5f 61 2b 2b 3b 00 09 7b 00 09 69 6e 74 20 6d 6b 67 61 74 65 28 69 6e 74 20 61 30 2c .aig_a++;..{..int.mkgate(int.a0,
2920 20 69 6e 74 20 61 31 29 00 00 09 69 6e 74 20 69 6e 69 74 73 74 61 74 65 5f 66 66 20 3d 20 30 3b .int.a1)...int.initstate_ff.=.0;
2940 00 09 64 69 63 74 3c 53 69 67 42 69 74 2c 20 69 6e 74 3e 20 69 6e 69 74 5f 69 6e 70 75 74 73 3b ..dict<SigBit,.int>.init_inputs;
2960 00 00 09 64 69 63 74 3c 53 69 67 42 69 74 2c 20 69 6e 74 3e 20 6f 72 64 65 72 65 64 5f 6c 61 74 ...dict<SigBit,.int>.ordered_lat
2980 63 68 65 73 3b 00 09 64 69 63 74 3c 53 69 67 42 69 74 2c 20 69 6e 74 3e 20 6f 72 64 65 72 65 64 ches;..dict<SigBit,.int>.ordered
29a0 5f 6f 75 74 70 75 74 73 3b 00 09 64 69 63 74 3c 53 69 67 42 69 74 2c 20 69 6e 74 3e 20 61 69 67 _outputs;..dict<SigBit,.int>.aig
29c0 5f 6d 61 70 3b 00 00 09 69 6e 74 20 61 69 67 5f 6d 20 3d 20 30 2c 20 61 69 67 5f 69 20 3d 20 30 _map;...int.aig_m.=.0,.aig_i.=.0
29e0 2c 20 61 69 67 5f 6c 20 3d 20 30 2c 20 61 69 67 5f 6f 20 3d 20 30 2c 20 61 69 67 5f 61 20 3d 20 ,.aig_l.=.0,.aig_o.=.0,.aig_a.=.
2a00 30 3b 00 09 76 65 63 74 6f 72 3c 69 6e 74 3e 20 61 69 67 5f 6c 61 74 63 68 69 6e 2c 20 61 69 67 0;..vector<int>.aig_latchin,.aig
2a20 5f 6c 61 74 63 68 69 6e 69 74 2c 20 61 69 67 5f 6f 75 74 70 75 74 73 3b 00 09 76 65 63 74 6f 72 _latchinit,.aig_outputs;..vector
2a40 3c 70 61 69 72 3c 69 6e 74 2c 20 69 6e 74 3e 3e 20 61 69 67 5f 67 61 74 65 73 3b 00 00 09 64 69 <pair<int,.int>>.aig_gates;...di
2a60 63 74 3c 49 64 53 74 72 69 6e 67 2c 20 75 6e 73 69 67 6e 65 64 3e 20 74 79 70 65 5f 6d 61 70 3b ct<IdString,.unsigned>.type_map;
2a80 00 09 70 6f 6f 6c 3c 53 69 67 42 69 74 3e 20 63 69 5f 62 69 74 73 2c 20 63 6f 5f 62 69 74 73 3b ..pool<SigBit>.ci_bits,.co_bits;
2aa0 00 09 70 6f 6f 6c 3c 53 69 67 42 69 74 3e 20 69 6e 69 74 73 74 61 74 65 5f 62 69 74 73 3b 00 09 ..pool<SigBit>.initstate_bits;..
2ac0 64 69 63 74 3c 53 69 67 42 69 74 2c 20 70 61 69 72 3c 53 69 67 42 69 74 2c 20 53 69 67 42 69 74 dict<SigBit,.pair<SigBit,.SigBit
2ae0 3e 3e 20 61 6e 64 5f 6d 61 70 3b 00 09 64 69 63 74 3c 53 69 67 42 69 74 2c 20 53 69 67 42 69 74 >>.and_map;..dict<SigBit,.SigBit
2b00 3e 20 6e 6f 74 5f 6d 61 70 2c 20 66 66 5f 6d 61 70 2c 20 61 6c 69 61 73 5f 6d 61 70 3b 00 09 70 >.not_map,.ff_map,.alias_map;..p
2b20 6f 6f 6c 3c 53 69 67 42 69 74 3e 20 69 6e 70 75 74 5f 62 69 74 73 2c 20 6f 75 74 70 75 74 5f 62 ool<SigBit>.input_bits,.output_b
2b40 69 74 73 3b 00 09 64 69 63 74 3c 53 69 67 42 69 74 2c 20 62 6f 6f 6c 3e 20 69 6e 69 74 5f 6d 61 its;..dict<SigBit,.bool>.init_ma
2b60 70 3b 00 00 09 53 69 67 4d 61 70 20 73 69 67 6d 61 70 3b 00 09 62 6f 6f 6c 20 7a 69 6e 69 74 5f p;...SigMap.sigmap;..bool.zinit_
2b80 6d 6f 64 65 3b 00 09 4d 6f 64 75 6c 65 20 2a 6d 6f 64 75 6c 65 3b 00 7b 00 73 74 72 75 63 74 20 mode;..Module.*module;.{.struct.
2ba0 58 41 69 67 65 72 57 72 69 74 65 72 00 00 7d 00 09 66 2e 70 75 74 28 78 29 3b 00 00 09 7d 00 09 XAigerWriter..}..f.put(x);...}..
2bc0 09 78 20 3d 20 78 20 3e 3e 20 37 3b 00 09 09 66 2e 70 75 74 28 28 78 20 26 20 30 78 37 66 29 20 .x.=.x.>>.7;...f.put((x.&.0x7f).
2be0 7c 20 30 78 38 30 29 3b 00 09 77 68 69 6c 65 20 28 78 20 26 20 7e 30 78 37 66 29 20 7b 00 00 09 |.0x80);..while.(x.&.~0x7f).{...
2c00 6c 6f 67 5f 61 73 73 65 72 74 28 78 20 3e 3d 20 30 29 3b 00 7b 00 76 6f 69 64 20 61 69 67 65 72 log_assert(x.>=.0);.{.void.aiger
2c20 5f 65 6e 63 6f 64 65 28 73 74 64 3a 3a 6f 73 74 72 65 61 6d 20 26 66 2c 20 69 6e 74 20 78 29 00 _encode(std::ostream.&f,.int.x).
2c40 00 50 52 49 56 41 54 45 5f 4e 41 4d 45 53 50 41 43 45 5f 42 45 47 49 4e 00 55 53 49 4e 47 5f 59 .PRIVATE_NAMESPACE_BEGIN.USING_Y
2c60 4f 53 59 53 5f 4e 41 4d 45 53 50 41 43 45 00 00 23 69 6e 63 6c 75 64 65 20 22 6b 65 72 6e 65 6c OSYS_NAMESPACE..#include."kernel
2c80 2f 73 69 67 74 6f 6f 6c 73 2e 68 22 00 23 69 6e 63 6c 75 64 65 20 22 6b 65 72 6e 65 6c 2f 79 6f /sigtools.h".#include."kernel/yo
2ca0 73 79 73 2e 68 22 00 00 20 2a 2f 00 20 2a 00 20 2a 20 20 4f 52 20 49 4e 20 43 4f 4e 4e 45 43 54 sys.h"...*/..*..*..OR.IN.CONNECT
2cc0 49 4f 4e 20 57 49 54 48 20 54 48 45 20 55 53 45 20 4f 52 20 50 45 52 46 4f 52 4d 41 4e 43 45 20 ION.WITH.THE.USE.OR.PERFORMANCE.
2ce0 4f 46 20 54 48 49 53 20 53 4f 46 54 57 41 52 45 2e 00 20 2a 20 20 41 43 54 49 4f 4e 20 4f 46 20 OF.THIS.SOFTWARE...*..ACTION.OF.
2d00 43 4f 4e 54 52 41 43 54 2c 20 4e 45 47 4c 49 47 45 4e 43 45 20 4f 52 20 4f 54 48 45 52 20 54 4f CONTRACT,.NEGLIGENCE.OR.OTHER.TO
2d20 52 54 49 4f 55 53 20 41 43 54 49 4f 4e 2c 20 41 52 49 53 49 4e 47 20 4f 55 54 20 4f 46 00 20 2a RTIOUS.ACTION,.ARISING.OUT.OF..*
2d40 20 20 57 48 41 54 53 4f 45 56 45 52 20 52 45 53 55 4c 54 49 4e 47 20 46 52 4f 4d 20 4c 4f 53 53 ..WHATSOEVER.RESULTING.FROM.LOSS
2d60 20 4f 46 20 55 53 45 2c 20 44 41 54 41 20 4f 52 20 50 52 4f 46 49 54 53 2c 20 57 48 45 54 48 45 .OF.USE,.DATA.OR.PROFITS,.WHETHE
2d80 52 20 49 4e 20 41 4e 00 20 2a 20 20 41 4e 59 20 53 50 45 43 49 41 4c 2c 20 44 49 52 45 43 54 2c R.IN.AN..*..ANY.SPECIAL,.DIRECT,
2da0 20 49 4e 44 49 52 45 43 54 2c 20 4f 52 20 43 4f 4e 53 45 51 55 45 4e 54 49 41 4c 20 44 41 4d 41 .INDIRECT,.OR.CONSEQUENTIAL.DAMA
2dc0 47 45 53 20 4f 52 20 41 4e 59 20 44 41 4d 41 47 45 53 00 20 2a 20 20 4d 45 52 43 48 41 4e 54 41 GES.OR.ANY.DAMAGES..*..MERCHANTA
2de0 42 49 4c 49 54 59 20 41 4e 44 20 46 49 54 4e 45 53 53 2e 20 49 4e 20 4e 4f 20 45 56 45 4e 54 20 BILITY.AND.FITNESS..IN.NO.EVENT.
2e00 53 48 41 4c 4c 20 54 48 45 20 41 55 54 48 4f 52 20 42 45 20 4c 49 41 42 4c 45 20 46 4f 52 00 20 SHALL.THE.AUTHOR.BE.LIABLE.FOR..
2e20 2a 20 20 57 49 54 48 20 52 45 47 41 52 44 20 54 4f 20 54 48 49 53 20 53 4f 46 54 57 41 52 45 20 *..WITH.REGARD.TO.THIS.SOFTWARE.
2e40 49 4e 43 4c 55 44 49 4e 47 20 41 4c 4c 20 49 4d 50 4c 49 45 44 20 57 41 52 52 41 4e 54 49 45 53 INCLUDING.ALL.IMPLIED.WARRANTIES
2e60 20 4f 46 00 20 2a 20 20 54 48 45 20 53 4f 46 54 57 41 52 45 20 49 53 20 50 52 4f 56 49 44 45 44 .OF..*..THE.SOFTWARE.IS.PROVIDED
2e80 20 22 41 53 20 49 53 22 20 41 4e 44 20 54 48 45 20 41 55 54 48 4f 52 20 44 49 53 43 4c 41 49 4d ."AS.IS".AND.THE.AUTHOR.DISCLAIM
2ea0 53 20 41 4c 4c 20 57 41 52 52 41 4e 54 49 45 53 00 20 2a 00 20 2a 20 20 63 6f 70 79 72 69 67 68 S.ALL.WARRANTIES..*..*..copyrigh
2ec0 74 20 6e 6f 74 69 63 65 20 61 6e 64 20 74 68 69 73 20 70 65 72 6d 69 73 73 69 6f 6e 20 6e 6f 74 t.notice.and.this.permission.not
2ee0 69 63 65 20 61 70 70 65 61 72 20 69 6e 20 61 6c 6c 20 63 6f 70 69 65 73 2e 00 20 2a 20 20 70 75 ice.appear.in.all.copies...*..pu
2f00 72 70 6f 73 65 20 77 69 74 68 20 6f 72 20 77 69 74 68 6f 75 74 20 66 65 65 20 69 73 20 68 65 72 rpose.with.or.without.fee.is.her
2f20 65 62 79 20 67 72 61 6e 74 65 64 2c 20 70 72 6f 76 69 64 65 64 20 74 68 61 74 20 74 68 65 20 61 eby.granted,.provided.that.the.a
2f40 62 6f 76 65 00 20 2a 20 20 50 65 72 6d 69 73 73 69 6f 6e 20 74 6f 20 75 73 65 2c 20 63 6f 70 79 bove..*..Permission.to.use,.copy
2f60 2c 20 6d 6f 64 69 66 79 2c 20 61 6e 64 2f 6f 72 20 64 69 73 74 72 69 62 75 74 65 20 74 68 69 73 ,.modify,.and/or.distribute.this
2f80 20 73 6f 66 74 77 61 72 65 20 66 6f 72 20 61 6e 79 00 20 2a 00 20 2a 20 20 43 6f 70 79 72 69 67 .software.for.any..*..*..Copyrig
2fa0 68 74 20 28 43 29 20 32 30 31 32 20 20 43 6c 69 66 66 6f 72 64 20 57 6f 6c 66 20 3c 63 6c 69 66 ht.(C).2012..Clifford.Wolf.<clif
2fc0 66 6f 72 64 40 63 6c 69 66 66 6f 72 64 2e 61 74 3e 00 20 2a 00 20 2a 20 20 79 6f 73 79 73 20 2d ford@clifford.at>..*..*..yosys.-
2fe0 2d 20 59 6f 73 79 73 20 4f 70 65 6e 20 53 59 6e 74 68 65 73 69 73 20 53 75 69 74 65 00 2f 2a 00 -.Yosys.Open.SYnthesis.Suite./*.
3000 61 64 00 00 55 0a 00 00 31 0b 00 00 00 10 00 00 30 00 00 00 00 00 00 00 db 0f 00 00 c2 0f 00 00 ad..U...1.......0...............
3020 b4 0f 00 00 af 0f 00 00 5c 0f 00 00 39 0f 00 00 2b 0f 00 00 26 0f 00 00 d2 0e 00 00 af 0e 00 00 ........\...9...+...&...........
3040 97 0e 00 00 89 0e 00 00 84 0e 00 00 65 0e 00 00 53 0e 00 00 45 0e 00 00 40 0e 00 00 21 0e 00 00 ............e...S...E...@...!...
3060 0f 0e 00 00 01 0e 00 00 fc 0d 00 00 dd 0d 00 00 cb 0d 00 00 bd 0d 00 00 b8 0d 00 00 ae 0d 00 00 ................................
3080 aa 0d 00 00 81 0d 00 00 80 0d 00 00 53 0d 00 00 52 0d 00 00 35 0d 00 00 f9 0c 00 00 f8 0c 00 00 ............S...R...5...........
30a0 b4 0c 00 00 74 0c 00 00 73 0c 00 00 54 0c 00 00 3d 0c 00 00 03 0c 00 00 ef 0b 00 00 8f 0b 00 00 ....t...s...T...=...............
30c0 60 0b 00 00 5c 0b 00 00 59 0b 00 00 48 0b 00 00 47 0b 00 00 31 0b 00 00 30 0b 00 00 00 00 00 00 `...\...Y...H...G...1...0.......
30e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3100 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3120 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3140 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3160 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3180 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
31a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
31c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
31e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3200 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3220 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3240 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3260 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3280 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
32a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
32c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
32e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3300 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3320 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3340 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3360 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3380 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
33a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
33c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
33e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3400 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3420 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3440 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3460 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3480 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
34a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
34c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
34e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3500 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3520 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3540 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3560 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3580 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
35a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
35c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
35e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3600 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3620 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3640 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3660 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3680 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
36a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
36c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
36e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3700 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3720 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3740 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3760 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3780 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
37a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
37c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
37e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3800 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3820 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3840 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3860 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3880 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
38a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
38c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
38e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3900 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3920 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3940 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3960 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3980 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
39a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
39c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
39e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3a00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3a20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3a40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3a60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3a80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3aa0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3ac0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3ae0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3b00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3b20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 50 52 49 56 41 54 45 5f 4e 41 4d 45 53 50 41 .................PRIVATE_NAMESPA
3b40 43 45 5f 45 4e 44 00 00 7d 20 58 41 69 67 65 72 42 61 63 6b 65 6e 64 3b 00 09 7d 00 09 09 7d 00 CE_END..}.XAigerBackend;..}...}.
3b60 09 09 09 77 72 69 74 65 72 2e 77 72 69 74 65 5f 6d 61 70 28 6d 61 70 66 2c 20 76 65 72 62 6f 73 ...writer.write_map(mapf,.verbos
3b80 65 5f 6d 61 70 2c 20 6f 6d 6f 64 65 29 3b 00 09 09 09 09 6c 6f 67 5f 65 72 72 6f 72 28 22 43 61 e_map,.omode);.....log_error("Ca
3ba0 6e 27 74 20 6f 70 65 6e 20 66 69 6c 65 20 60 25 73 27 20 66 6f 72 20 77 72 69 74 69 6e 67 3a 20 n't.open.file.`%s'.for.writing:.
3bc0 25 73 5c 6e 22 2c 20 6d 61 70 5f 66 69 6c 65 6e 61 6d 65 2e 63 5f 73 74 72 28 29 2c 20 73 74 72 %s\n",.map_filename.c_str(),.str
3be0 65 72 72 6f 72 28 65 72 72 6e 6f 29 29 3b 00 09 09 09 69 66 20 28 6d 61 70 66 2e 66 61 69 6c 28 error(errno));....if.(mapf.fail(
3c00 29 29 00 09 09 09 6d 61 70 66 2e 6f 70 65 6e 28 6d 61 70 5f 66 69 6c 65 6e 61 6d 65 2e 63 5f 73 ))....mapf.open(map_filename.c_s
3c20 74 72 28 29 2c 20 73 74 64 3a 3a 6f 66 73 74 72 65 61 6d 3a 3a 74 72 75 6e 63 29 3b 00 09 09 09 tr(),.std::ofstream::trunc);....
3c40 73 74 64 3a 3a 6f 66 73 74 72 65 61 6d 20 6d 61 70 66 3b 00 09 09 69 66 20 28 21 6d 61 70 5f 66 std::ofstream.mapf;...if.(!map_f
3c60 69 6c 65 6e 61 6d 65 2e 65 6d 70 74 79 28 29 29 20 7b 00 00 09 09 77 72 69 74 65 72 2e 77 72 69 ilename.empty()).{....writer.wri
3c80 74 65 5f 61 69 67 65 72 28 2a 66 2c 20 61 73 63 69 69 5f 6d 6f 64 65 2c 20 6d 69 74 65 72 5f 6d te_aiger(*f,.ascii_mode,.miter_m
3ca0 6f 64 65 2c 20 73 79 6d 62 6f 6c 73 5f 6d 6f 64 65 29 3b 00 09 09 58 41 69 67 65 72 57 72 69 74 ode,.symbols_mode);...XAigerWrit
3cc0 65 72 20 77 72 69 74 65 72 28 74 6f 70 5f 6d 6f 64 75 6c 65 2c 20 7a 69 6e 69 74 5f 6d 6f 64 65 er.writer(top_module,.zinit_mode
3ce0 2c 20 69 6d 6f 64 65 2c 20 6f 6d 6f 64 65 2c 20 62 6d 6f 64 65 29 3b 00 00 09 09 09 6c 6f 67 5f ,.imode,.omode,.bmode);.....log_
3d00 65 72 72 6f 72 28 22 43 61 6e 27 74 20 66 69 6e 64 20 74 6f 70 20 6d 6f 64 75 6c 65 20 69 6e 20 error("Can't.find.top.module.in.
3d20 63 75 72 72 65 6e 74 20 64 65 73 69 67 6e 21 5c 6e 22 29 3b 00 09 09 69 66 20 28 74 6f 70 5f 6d current.design!\n");...if.(top_m
3d40 6f 64 75 6c 65 20 3d 3d 20 6e 75 6c 6c 70 74 72 29 00 00 09 09 4d 6f 64 75 6c 65 20 2a 74 6f 70 odule.==.nullptr)....Module.*top
3d60 5f 6d 6f 64 75 6c 65 20 3d 20 64 65 73 69 67 6e 2d 3e 74 6f 70 5f 6d 6f 64 75 6c 65 28 29 3b 00 _module.=.design->top_module();.
3d80 00 09 09 65 78 74 72 61 5f 61 72 67 73 28 66 2c 20 66 69 6c 65 6e 61 6d 65 2c 20 61 72 67 73 2c ...extra_args(f,.filename,.args,
3da0 20 61 72 67 69 64 78 29 3b 00 09 09 7d 00 09 09 09 62 72 65 61 6b 3b 00 09 09 09 7d 00 09 09 09 .argidx);...}....break;....}....
3dc0 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 62 6d 6f 64 65 20 3d 20 74 72 75 65 3b 00 09 09 09 .continue;.....bmode.=.true;....
3de0 69 66 20 28 61 72 67 73 5b 61 72 67 69 64 78 5d 20 3d 3d 20 22 2d 42 22 29 20 7b 00 09 09 09 7d if.(args[argidx].==."-B").{....}
3e00 00 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 6f 6d 6f 64 65 20 3d 20 74 72 75 65 3b .....continue;.....omode.=.true;
3e20 00 09 09 09 69 66 20 28 61 72 67 73 5b 61 72 67 69 64 78 5d 20 3d 3d 20 22 2d 4f 22 29 20 7b 00 ....if.(args[argidx].==."-O").{.
3e40 09 09 09 7d 00 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 69 6d 6f 64 65 20 3d 20 74 ...}.....continue;.....imode.=.t
3e60 72 75 65 3b 00 09 09 09 69 66 20 28 61 72 67 73 5b 61 72 67 69 64 78 5d 20 3d 3d 20 22 2d 49 22 rue;....if.(args[argidx].==."-I"
3e80 29 20 7b 00 09 09 09 7d 00 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 76 65 72 62 6f ).{....}.....continue;.....verbo
3ea0 73 65 5f 6d 61 70 20 3d 20 74 72 75 65 3b 00 09 09 09 09 6d 61 70 5f 66 69 6c 65 6e 61 6d 65 20 se_map.=.true;.....map_filename.
3ec0 3d 20 61 72 67 73 5b 2b 2b 61 72 67 69 64 78 5d 3b 00 09 09 09 69 66 20 28 6d 61 70 5f 66 69 6c =.args[++argidx];....if.(map_fil
3ee0 65 6e 61 6d 65 2e 65 6d 70 74 79 28 29 20 26 26 20 61 72 67 73 5b 61 72 67 69 64 78 5d 20 3d 3d ename.empty().&&.args[argidx].==
3f00 20 22 2d 76 6d 61 70 22 20 26 26 20 61 72 67 69 64 78 2b 31 20 3c 20 61 72 67 73 2e 73 69 7a 65 ."-vmap".&&.argidx+1.<.args.size
3f20 28 29 29 20 7b 00 09 09 09 7d 00 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 6d 61 70 ()).{....}.....continue;.....map
3f40 5f 66 69 6c 65 6e 61 6d 65 20 3d 20 61 72 67 73 5b 2b 2b 61 72 67 69 64 78 5d 3b 00 09 09 09 69 _filename.=.args[++argidx];....i
3f60 66 20 28 6d 61 70 5f 66 69 6c 65 6e 61 6d 65 2e 65 6d 70 74 79 28 29 20 26 26 20 61 72 67 73 5b f.(map_filename.empty().&&.args[
3f80 61 72 67 69 64 78 5d 20 3d 3d 20 22 2d 6d 61 70 22 20 26 26 20 61 72 67 69 64 78 2b 31 20 3c 20 argidx].==."-map".&&.argidx+1.<.
3fa0 61 72 67 73 2e 73 69 7a 65 28 29 29 20 7b 00 09 09 09 7d 00 09 09 09 09 63 6f 6e 74 69 6e 75 65 args.size()).{....}.....continue
3fc0 3b 00 09 09 09 09 73 79 6d 62 6f 6c 73 5f 6d 6f 64 65 20 3d 20 74 72 75 65 3b 00 09 09 09 69 66 ;.....symbols_mode.=.true;....if
3fe0 20 28 61 72 67 73 5b 61 72 67 69 64 78 5d 20 3d 3d 20 22 2d 73 79 6d 62 6f 6c 73 22 29 20 7b 00 .(args[argidx].==."-symbols").{.
4000 61 64 00 00 fd 09 00 00 e1 0a 00 00 00 10 00 00 32 00 00 00 00 00 00 00 e9 0f 00 00 e3 0f 00 00 ad..............2...............
4020 be 0f 00 00 8f 0f 00 00 8a 0f 00 00 34 0f 00 00 30 0f 00 00 2f 0f 00 00 0b 0f 00 00 de 0e 00 00 ............4...0.../...........
4040 bb 0e 00 00 a4 0e 00 00 89 0e 00 00 85 0e 00 00 58 0e 00 00 38 0e 00 00 1d 0e 00 00 06 0e 00 00 ................X...8...........
4060 02 0e 00 00 e1 0d 00 00 ca 0d 00 00 b3 0d 00 00 9c 0d 00 00 98 0d 00 00 73 0d 00 00 58 0d 00 00 ........................s...X...
4080 41 0d 00 00 25 0d 00 00 0a 0d 00 00 ed 0c 00 00 ec 0c 00 00 cd 0c 00 00 b0 0c 00 00 af 0c 00 00 A...%...........................
40a0 8f 0c 00 00 76 0c 00 00 52 0c 00 00 f1 0b 00 00 d5 0b 00 00 d0 0b 00 00 5a 0b 00 00 56 0b 00 00 ....v...R...............Z...V...
40c0 55 0b 00 00 42 0b 00 00 2d 0b 00 00 17 0b 00 00 05 0b 00 00 f4 0a 00 00 e2 0a 00 00 e1 0a 00 00 U...B...-.......................
40e0 e0 0a 00 00 ba 0a 00 00 9e 0a 00 00 77 0a 00 00 4b 0a 00 00 2c 0a 00 00 34 0a 00 00 1a 0a 00 00 ............w...K...,...4.......
4100 ff 09 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4120 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4140 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4160 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4180 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
41a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
41c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
41e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4200 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4220 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4240 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4260 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4280 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
42a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
42c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
42e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4300 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4320 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4340 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4360 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4380 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
43a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
43c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
43e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4400 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4420 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4440 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4460 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4480 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
44a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
44c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
44e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4500 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4520 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4540 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4560 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4580 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
45a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
45c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
45e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4600 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4620 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4640 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4660 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4680 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
46a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
46c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
46e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4700 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4720 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4740 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4760 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4780 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
47a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
47c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
47e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4800 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4820 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4840 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4860 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4880 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
48a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
48c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
48e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4900 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4920 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4940 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4960 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4980 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
49a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
49c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
49e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
4a00 09 09 61 6e 64 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 66 66 5f 6d 61 70 00 09 09 61 6e 64 ..and_map.sort();...ff_map...and
4a20 5f 6d 61 70 2e 73 6f 72 74 28 00 00 00 09 09 61 6e 64 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 _map.sort(.....and_map.sort();..
4a40 09 66 66 5f 6d 61 70 2e 73 6f 72 00 09 09 61 6e 64 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 .ff_map.sor...and_map.sort();...
4a60 66 66 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 6e 6f 74 5f 6d 61 00 09 09 61 6e 64 5f 6d 61 ff_map.sort();...not_ma...and_ma
4a80 70 2e 73 6f 72 74 28 29 3b 00 09 09 66 66 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 6e 00 09 p.sort();...ff_map.sort();...n..
4aa0 09 61 6e 64 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 66 66 5f 6d 61 70 2e 00 09 09 61 6e 64 .and_map.sort();...ff_map....and
4ac0 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 66 66 5f 6d 00 09 09 61 6e 64 5f 00 09 09 61 6e 64 _map.sort();...ff_m...and_...and
4ae0 00 00 09 09 61 6e 64 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 66 66 5f 6d 61 70 2e 73 6f 72 ....and_map.sort();...ff_map.sor
4b00 74 28 29 3b 00 09 09 6e 6f 74 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 6f 75 74 70 75 74 5f t();...not_map.sort();...output_
4b20 62 69 74 73 2e 73 6f 72 74 28 29 3b 00 09 09 69 6e 70 75 74 5f 62 69 74 73 2e 73 6f 72 74 28 29 bits.sort();...input_bits.sort()
4b40 3b 00 09 09 69 6e 69 74 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 00 09 09 7d 00 09 09 09 6c 6f 67 ;...init_map.sort();....}....log
4b60 5f 77 61 72 6e 69 6e 67 28 22 54 72 65 61 74 69 6e 67 20 61 20 74 6f 74 61 6c 20 6f 66 20 25 64 _warning("Treating.a.total.of.%d
4b80 20 75 6e 64 72 69 76 65 6e 20 62 69 74 73 20 69 6e 20 25 73 20 6c 69 6b 65 20 24 61 6e 79 73 65 .undriven.bits.in.%s.like.$anyse
4ba0 71 2e 5c 6e 22 2c 20 47 65 74 53 69 7a 65 28 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 29 2c 20 6c q.\n",.GetSize(undriven_bits),.l
4bc0 6f 67 5f 69 64 28 6d 6f 64 75 6c 65 29 29 3b 00 09 09 09 7d 00 09 09 09 09 69 6e 70 75 74 5f 62 og_id(module));....}.....input_b
4be0 69 74 73 2e 69 6e 73 65 72 74 28 62 69 74 29 3b 00 09 09 09 09 6c 6f 67 5f 77 61 72 6e 69 6e 67 its.insert(bit);.....log_warning
4c00 28 22 54 72 65 61 74 69 6e 67 20 75 6e 64 72 69 76 65 6e 20 62 69 74 20 25 73 2e 25 73 20 6c 69 ("Treating.undriven.bit.%s.%s.li
4c20 6b 65 20 24 61 6e 79 73 65 71 2e 5c 6e 22 2c 20 6c 6f 67 5f 69 64 28 6d 6f 64 75 6c 65 29 2c 20 ke.$anyseq.\n",.log_id(module),.
4c40 6c 6f 67 5f 73 69 67 6e 61 6c 28 62 69 74 29 29 3b 00 09 09 09 66 6f 72 20 28 61 75 74 6f 20 62 log_signal(bit));....for.(auto.b
4c60 69 74 20 3a 20 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 29 20 7b 00 09 09 09 75 6e 64 72 69 76 65 it.:.undriven_bits).{....undrive
4c80 6e 5f 62 69 74 73 2e 73 6f 72 74 28 29 3b 00 09 09 69 66 20 28 21 75 6e 64 72 69 76 65 6e 5f 62 n_bits.sort();...if.(!undriven_b
4ca0 69 74 73 2e 65 6d 70 74 79 28 29 29 20 7b 00 00 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 its.empty()).{.....undriven_bits
4cc0 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 75 .erase(bit);...for.(auto.bit.:.u
4ce0 6e 75 73 65 64 5f 62 69 74 73 29 00 00 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 65 72 nused_bits).....undriven_bits.er
4d00 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 63 69 5f 62 ase(bit);...for.(auto.bit.:.ci_b
4d20 69 74 73 29 00 09 09 2f 2f 20 43 49 73 20 63 61 6e 6e 6f 74 20 62 65 20 75 6e 64 72 69 76 65 6e its)...//.CIs.cannot.be.undriven
4d40 00 09 09 09 63 69 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 61 ....ci_bits.erase(bit);...for.(a
4d60 75 74 6f 20 62 69 74 20 3a 20 63 6f 5f 62 69 74 73 29 00 09 09 2f 2f 20 45 72 61 73 65 20 61 6c uto.bit.:.co_bits)...//.Erase.al
4d80 6c 20 43 49 73 20 74 68 61 74 20 61 72 65 20 61 6c 73 6f 20 43 4f 73 00 09 09 7d 00 09 09 09 63 l.CIs.that.are.also.COs...}....c
4da0 6f 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 09 2f 2f 20 50 4f 73 20 6f 76 65 o_bits.erase(bit);....//.POs.ove
4dc0 72 72 69 64 65 20 43 4f 73 00 09 09 09 63 69 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b rride.COs....ci_bits.erase(bit);
4de0 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 6f 75 74 70 75 74 5f 62 69 74 73 29 20 ...for.(auto.bit.:.output_bits).
4e00 7b 00 09 09 7d 00 09 09 09 63 69 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 09 {...}....ci_bits.erase(bit);....
4e20 6f 75 74 70 75 74 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 61 output_bits.erase(bit);...for.(a
4e40 75 74 6f 20 62 69 74 20 3a 20 69 6e 70 75 74 5f 62 69 74 73 29 20 7b 00 09 09 2f 2f 20 45 72 61 uto.bit.:.input_bits).{...//.Era
4e60 73 65 20 61 6c 6c 20 50 4f 73 20 61 6e 64 20 43 49 73 20 74 68 61 74 20 61 72 65 20 61 6c 73 6f se.all.POs.and.CIs.that.are.also
4e80 20 50 49 73 00 09 09 7d 00 09 09 09 6f 75 74 70 75 74 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 .PIs...}....output_bits.erase(bi
4ea0 74 29 3b 00 09 09 09 63 6f 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 t);....co_bits.erase(bit);...for
4ec0 20 28 61 75 74 6f 20 62 69 74 20 3a 20 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 29 20 7b 00 09 09 .(auto.bit.:.undriven_bits).{...
4ee0 2f 2f 20 45 72 61 73 65 20 61 6c 6c 20 50 4f 73 20 61 6e 64 20 43 4f 73 20 74 68 61 74 20 61 72 //.Erase.all.POs.and.COs.that.ar
4f00 65 20 75 6e 64 72 69 76 65 6e 00 09 09 2f 2f 20 44 6f 20 73 6f 6d 65 20 43 49 2f 43 4f 20 70 6f e.undriven...//.Do.some.CI/CO.po
4f20 73 74 2d 70 72 6f 63 65 73 73 69 6e 67 3a 00 00 09 09 7d 00 09 09 09 2f 2f 6c 6f 67 5f 65 72 72 st-processing:....}....//log_err
4f40 6f 72 28 22 55 6e 73 75 70 70 6f 72 74 65 64 20 63 65 6c 6c 20 74 79 70 65 3a 20 25 73 20 28 25 or("Unsupported.cell.type:.%s.(%
4f60 73 29 5c 6e 22 2c 20 6c 6f 67 5f 69 64 28 63 65 6c 6c 2d 3e 74 79 70 65 29 2c 20 6c 6f 67 5f 69 s)\n",.log_id(cell->type),.log_i
4f80 64 28 63 65 6c 6c 29 29 3b 00 09 09 09 7d 00 09 09 09 09 09 74 79 70 65 5f 6d 61 70 5b 63 65 6c d(cell));....}......type_map[cel
4fa0 6c 2d 3e 74 79 70 65 5d 20 3d 20 74 79 70 65 5f 6d 61 70 2e 73 69 7a 65 28 29 2b 31 3b 00 09 09 l->type].=.type_map.size()+1;...
4fc0 09 09 69 66 20 28 21 74 79 70 65 5f 6d 61 70 2e 63 6f 75 6e 74 28 63 65 6c 6c 2d 3e 74 79 70 65 ..if.(!type_map.count(cell->type
4fe0 29 29 00 09 09 09 09 7d 00 09 09 09 09 09 65 6c 73 65 20 6c 6f 67 5f 61 62 6f 72 74 28 29 3b 00 )).....}......else.log_abort();.
5000 61 64 00 00 f3 05 00 00 7f 07 00 00 00 10 00 00 5c 00 00 00 00 00 00 00 ca 0f 00 00 c5 0f 00 00 ad..............\...............
5020 c4 0f 00 00 99 0f 00 00 94 0f 00 00 77 0f 00 00 55 0f 00 00 54 0f 00 00 35 0f 00 00 17 0f 00 00 ............w...U...T...5.......
5040 e2 0e 00 00 bf 0e 00 00 b8 0e 00 00 a9 0e 00 00 a3 0e 00 00 a2 0e 00 00 83 0e 00 00 66 0e 00 00 ............................f...
5060 65 0e 00 00 4b 0e 00 00 2e 0e 00 00 2d 0e 00 00 10 0e 00 00 f7 0d 00 00 d7 0d 00 00 b5 0d 00 00 e...K.......-...................
5080 af 0d 00 00 aa 0d 00 00 a6 0d 00 00 a5 0d 00 00 87 0d 00 00 6a 0d 00 00 69 0d 00 00 4a 0d 00 00 ....................j...i...J...
50a0 2f 0d 00 00 2e 0d 00 00 0a 0d 00 00 06 0d 00 00 e7 0c 00 00 e2 0c 00 00 ac 0c 00 00 76 0c 00 00 /...........................v...
50c0 5c 0c 00 00 40 0c 00 00 2c 0c 00 00 1e 0c 00 00 19 0c 00 00 18 0c 00 00 df 0b 00 00 d8 0b 00 00 \...@...,.......................
50e0 a0 0b 00 00 68 0b 00 00 4c 0b 00 00 2e 0b 00 00 19 0b 00 00 09 0b 00 00 02 0b 00 00 01 0b 00 00 ....h...L.......................
5100 e2 0a 00 00 dd 0a 00 00 a7 0a 00 00 71 0a 00 00 3b 0a 00 00 21 0a 00 00 07 0a 00 00 eb 09 00 00 ............q...;...!...........
5120 c9 09 00 00 bb 09 00 00 b6 09 00 00 b5 09 00 00 92 09 00 00 8d 09 00 00 57 09 00 00 3b 09 00 00 ........................W...;...
5140 1d 09 00 00 0f 09 00 00 0a 09 00 00 09 09 00 00 da 08 00 00 ad 08 00 00 88 08 00 00 71 08 00 00 ............................q...
5160 5a 08 00 00 39 08 00 00 1d 08 00 00 03 08 00 00 e9 07 00 00 e2 07 00 00 bb 07 00 00 9f 07 00 00 Z...9...........................
5180 86 07 00 00 7f 07 00 00 7e 07 00 00 62 07 00 00 61 07 00 00 3c 07 00 00 0d 07 00 00 08 07 00 00 ........~...b...a...<...........
51a0 b2 06 00 00 ae 06 00 00 ad 06 00 00 89 06 00 00 5c 06 00 00 39 06 00 00 22 06 00 00 07 06 00 00 ................\...9...".......
51c0 03 06 00 00 d6 05 00 00 b6 05 00 00 9b 05 00 00 84 05 00 00 80 05 00 00 54 05 00 00 39 05 00 00 ........................T...9...
51e0 22 05 00 00 01 05 00 00 ea 04 00 00 d3 04 00 00 bc 04 00 00 b8 04 00 00 9c 04 00 00 81 04 00 00 "...............................
5200 64 04 00 00 63 04 00 00 44 04 00 00 27 04 00 00 26 04 00 00 06 04 00 00 ed 03 00 00 c9 03 00 00 d...c...D...'...&...............
5220 68 03 00 00 4c 03 00 00 47 03 00 00 d1 02 00 00 cd 02 00 00 cc 02 00 00 b9 02 00 00 a4 02 00 00 h...L...G.......................
5240 8e 02 00 00 7c 02 00 00 6b 02 00 00 59 02 00 00 58 02 00 00 00 00 00 00 00 09 09 61 6e 64 5f 6d ....|...k...Y...X..........and_m
5260 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 66 66 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 6e 6f ap.sort();...ff_map.sort();...no
5280 74 5f 6d 61 70 2e 73 6f 72 74 28 29 3b 00 09 09 6f 75 74 70 75 74 5f 62 69 74 73 2e 73 6f 72 74 t_map.sort();...output_bits.sort
52a0 28 29 3b 00 09 09 69 6e 70 75 74 5f 62 69 74 73 2e 73 6f 72 74 28 29 3b 00 09 09 69 6e 69 74 5f ();...input_bits.sort();...init_
52c0 6d 61 70 2e 73 6f 72 74 28 29 3b 00 00 09 09 7d 00 09 09 09 6c 6f 67 5f 77 61 72 6e 69 6e 67 28 map.sort();....}....log_warning(
52e0 22 54 72 65 61 74 69 6e 67 20 61 20 74 6f 74 61 6c 20 6f 66 20 25 64 20 75 6e 64 72 69 76 65 6e "Treating.a.total.of.%d.undriven
5300 20 62 69 74 73 20 69 6e 20 25 73 20 6c 69 6b 65 20 24 61 6e 79 73 65 71 2e 5c 6e 22 2c 20 47 65 .bits.in.%s.like.$anyseq.\n",.Ge
5320 74 53 69 7a 65 28 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 29 2c 20 6c 6f 67 5f 69 64 28 6d 6f 64 tSize(undriven_bits),.log_id(mod
5340 75 6c 65 29 29 3b 00 09 09 09 7d 00 09 09 09 09 69 6e 70 75 74 5f 62 69 74 73 2e 69 6e 73 65 72 ule));....}.....input_bits.inser
5360 74 28 62 69 74 29 3b 00 09 09 09 09 6c 6f 67 5f 77 61 72 6e 69 6e 67 28 22 54 72 65 61 74 69 6e t(bit);.....log_warning("Treatin
5380 67 20 75 6e 64 72 69 76 65 6e 20 62 69 74 20 25 73 2e 25 73 20 6c 69 6b 65 20 24 61 6e 79 73 65 g.undriven.bit.%s.%s.like.$anyse
53a0 71 2e 5c 6e 22 2c 20 6c 6f 67 5f 69 64 28 6d 6f 64 75 6c 65 29 2c 20 6c 6f 67 5f 73 69 67 6e 61 q.\n",.log_id(module),.log_signa
53c0 6c 28 62 69 74 29 29 3b 00 09 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 75 6e 64 72 l(bit));....for.(auto.bit.:.undr
53e0 69 76 65 6e 5f 62 69 74 73 29 20 7b 00 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 73 6f iven_bits).{....undriven_bits.so
5400 72 74 28 29 3b 00 09 09 69 66 20 28 21 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 65 6d 70 74 79 rt();...if.(!undriven_bits.empty
5420 28 29 29 20 7b 00 00 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 ()).{.....undriven_bits.erase(bi
5440 74 29 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 75 6e 75 73 65 64 5f 62 69 74 t);...for.(auto.bit.:.unused_bit
5460 73 29 00 00 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b s).....undriven_bits.erase(bit);
5480 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 63 69 5f 62 69 74 73 29 00 09 09 2f 2f ...for.(auto.bit.:.ci_bits)...//
54a0 20 43 49 73 20 63 61 6e 6e 6f 74 20 62 65 20 75 6e 64 72 69 76 65 6e 00 09 09 7d 00 09 09 09 63 .CIs.cannot.be.undriven...}....c
54c0 6f 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 09 2f 2f 20 50 4f 73 20 6f 76 65 o_bits.erase(bit);....//.POs.ove
54e0 72 72 69 64 65 20 43 4f 73 00 09 09 09 63 69 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b rride.COs....ci_bits.erase(bit);
5500 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 6f 75 74 70 75 74 5f 62 69 74 73 29 20 ...for.(auto.bit.:.output_bits).
5520 7b 00 09 09 09 63 69 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 {....ci_bits.erase(bit);...for.(
5540 61 75 74 6f 20 62 69 74 20 3a 20 63 6f 5f 62 69 74 73 29 00 09 09 2f 2f 20 45 72 61 73 65 20 61 auto.bit.:.co_bits)...//.Erase.a
5560 6c 6c 20 43 49 73 20 74 68 61 74 20 61 72 65 20 61 6c 73 6f 20 43 4f 73 20 6f 72 20 50 4f 73 00 ll.CIs.that.are.also.COs.or.POs.
5580 09 09 7d 00 09 09 09 63 69 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 09 6f 75 ..}....ci_bits.erase(bit);....ou
55a0 74 70 75 74 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 61 75 74 tput_bits.erase(bit);...for.(aut
55c0 6f 20 62 69 74 20 3a 20 69 6e 70 75 74 5f 62 69 74 73 29 20 7b 00 09 09 2f 2f 20 45 72 61 73 65 o.bit.:.input_bits).{...//.Erase
55e0 20 61 6c 6c 20 50 4f 73 20 61 6e 64 20 43 49 73 20 74 68 61 74 20 61 72 65 20 61 6c 73 6f 20 50 .all.POs.and.CIs.that.are.also.P
5600 49 73 00 09 09 7d 00 09 09 09 6f 75 74 70 75 74 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 Is...}....output_bits.erase(bit)
5620 3b 00 09 09 09 63 6f 5f 62 69 74 73 2e 65 72 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 ;....co_bits.erase(bit);...for.(
5640 61 75 74 6f 20 62 69 74 20 3a 20 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 29 20 7b 00 09 09 2f 2f auto.bit.:.undriven_bits).{...//
5660 20 45 72 61 73 65 20 61 6c 6c 20 50 4f 73 20 61 6e 64 20 43 4f 73 20 74 68 61 74 20 61 72 65 20 .Erase.all.POs.and.COs.that.are.
5680 75 6e 64 72 69 76 65 6e 00 09 09 2f 2f 20 44 6f 20 73 6f 6d 65 20 43 49 2f 43 4f 20 70 6f 73 74 undriven...//.Do.some.CI/CO.post
56a0 2d 70 72 6f 63 65 73 73 69 6e 67 3a 00 00 09 09 7d 00 09 09 09 2f 2f 6c 6f 67 5f 65 72 72 6f 72 -processing:....}....//log_error
56c0 28 22 55 6e 73 75 70 70 6f 72 74 65 64 20 63 65 6c 6c 20 74 79 70 65 3a 20 25 73 20 28 25 73 29 ("Unsupported.cell.type:.%s.(%s)
56e0 5c 6e 22 2c 20 6c 6f 67 5f 69 64 28 63 65 6c 6c 2d 3e 74 79 70 65 29 2c 20 6c 6f 67 5f 69 64 28 \n",.log_id(cell->type),.log_id(
5700 63 65 6c 6c 29 29 3b 00 09 09 09 7d 00 09 09 09 09 09 74 79 70 65 5f 6d 61 70 5b 63 65 6c 6c 2d cell));....}......type_map[cell-
5720 3e 74 79 70 65 5d 20 3d 20 74 79 70 65 5f 6d 61 70 2e 73 69 7a 65 28 29 2b 31 3b 00 09 09 09 09 >type].=.type_map.size()+1;.....
5740 69 66 20 28 21 74 79 70 65 5f 6d 61 70 2e 63 6f 75 6e 74 28 09 09 09 09 09 7d 00 09 09 09 09 09 if.(!type_map.count(.....}......
5760 09 63 09 09 09 09 09 7d 00 09 09 09 09 09 09 63 69 5f 62 69 74 73 2e 69 6e 73 65 72 74 28 09 09 .c.....}.......ci_bits.insert(..
5780 09 09 09 09 7d 00 09 09 09 09 09 09 63 69 5f 62 69 74 73 2e 69 6e 73 65 72 74 28 4f 29 3b 00 09 ....}.......ci_bits.insert(O);..
57a0 09 09 09 09 09 53 69 67 42 69 74 20 4f 20 3d 20 73 69 67 6d 61 70 28 62 29 3b 00 09 09 09 09 09 .....SigBit.O.=.sigmap(b);......
57c0 65 6c 73 65 20 69 66 20 28 63 65 6c 6c 2d 3e 6f 75 74 70 75 74 28 63 2e 66 69 72 73 74 29 29 20 else.if.(cell->output(c.first)).
57e0 7b 00 09 09 09 09 09 7d 00 09 09 09 09 09 09 09 63 6f 5f 62 69 74 73 2e 69 6e 73 65 72 74 28 49 {......}........co_bits.insert(I
5800 29 3b 00 09 09 09 09 09 09 69 66 20 28 21 77 2d 3e 70 6f 72 74 5f 69 6e 70 75 74 29 00 09 09 09 );.......if.(!w->port_input)....
5820 09 09 09 53 69 67 42 69 74 20 49 20 3d 20 73 69 67 6d 61 70 28 62 29 3b 00 09 09 09 09 09 69 66 ...SigBit.I.=.sigmap(b);......if
5840 20 28 63 65 6c 6c 2d 3e 69 6e 70 75 74 28 63 2e 66 69 72 73 74 29 29 20 7b 00 09 09 09 09 09 69 .(cell->input(c.first)).{......i
5860 66 20 28 21 77 29 20 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 09 57 69 72 65 20 2a 77 20 3d 20 f.(!w).continue;......Wire.*w.=.
5880 62 2e 77 69 72 65 3b 00 09 09 09 09 66 6f 72 20 28 61 75 74 6f 20 62 20 3a 20 63 2e 73 65 63 6f b.wire;.....for.(auto.b.:.c.seco
58a0 6e 64 2e 62 69 74 73 28 29 29 20 7b 00 09 09 09 09 69 66 20 28 63 2e 73 65 63 6f 6e 64 2e 69 73 nd.bits()).{.....if.(c.second.is
58c0 5f 66 75 6c 6c 79 5f 63 6f 6e 73 74 28 29 29 20 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 66 6f 72 _fully_const()).continue;....for
58e0 20 28 63 6f 6e 73 74 20 61 75 74 6f 20 26 63 20 3a 20 63 65 6c 6c 2d 3e 63 6f 6e 6e 65 63 74 69 .(const.auto.&c.:.cell->connecti
5900 6f 6e 73 28 29 29 20 7b 00 00 09 09 09 7d 00 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 ons()).{.....}.....continue;....
5920 09 69 6e 69 74 73 74 61 74 65 5f 62 69 74 73 2e 69 6e 73 65 72 74 28 59 29 3b 00 09 09 09 09 75 .initstate_bits.insert(Y);.....u
5940 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 65 72 61 73 65 28 59 29 3b 00 09 09 09 09 53 69 67 42 69 ndriven_bits.erase(Y);.....SigBi
5960 74 20 59 20 3d 20 73 69 67 6d 61 70 28 63 65 6c 6c 2d 3e 67 65 74 50 6f 72 74 28 22 5c 5c 59 22 t.Y.=.sigmap(cell->getPort("\\Y"
5980 29 2e 61 73 5f 62 69 74 28 29 29 3b 00 09 09 09 7b 00 09 09 09 69 66 20 28 63 65 6c 6c 2d 3e 74 ).as_bit());....{....if.(cell->t
59a0 79 70 65 20 3d 3d 20 22 24 69 6e 69 74 73 74 61 74 65 22 29 00 00 09 09 09 7d 00 09 09 09 09 63 ype.==."$initstate").....}.....c
59c0 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 61 6e 64 5f 6d 61 70 5b 59 5d 20 3d 20 6d 61 6b 65 5f 70 ontinue;.....and_map[Y].=.make_p
59e0 61 69 72 28 41 2c 20 42 29 3b 00 09 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 65 72 61 air(A,.B);.....undriven_bits.era
5a00 73 65 28 59 29 3b 00 09 09 09 09 75 6e 75 73 65 64 5f 62 69 74 73 2e 65 72 61 73 65 28 42 29 3b se(Y);.....unused_bits.erase(B);
5a20 00 09 09 09 09 75 6e 75 73 65 64 5f 62 69 74 73 2e 65 72 61 73 65 28 41 29 3b 00 09 09 09 09 53 .....unused_bits.erase(A);.....S
5a40 69 67 42 69 74 20 59 20 3d 20 73 69 67 6d 61 70 28 63 65 6c 6c 2d 3e 67 65 74 50 6f 72 74 28 22 igBit.Y.=.sigmap(cell->getPort("
5a60 5c 5c 59 22 29 2e 61 73 5f 62 69 74 28 29 29 3b 00 09 09 09 09 53 69 67 42 69 74 20 42 20 3d 20 \\Y").as_bit());.....SigBit.B.=.
5a80 73 69 67 6d 61 70 28 63 65 6c 6c 2d 3e 67 65 74 50 6f 72 74 28 22 5c 5c 42 22 29 2e 61 73 5f 62 sigmap(cell->getPort("\\B").as_b
5aa0 69 74 28 29 29 3b 00 09 09 09 09 53 69 67 42 69 74 20 41 20 3d 20 73 69 67 6d 61 70 28 63 65 6c it());.....SigBit.A.=.sigmap(cel
5ac0 6c 2d 3e 67 65 74 50 6f 72 74 28 22 5c 5c 41 22 29 2e 61 73 5f 62 69 74 28 29 29 3b 00 09 09 09 l->getPort("\\A").as_bit());....
5ae0 7b 00 09 09 09 69 66 20 28 63 65 6c 6c 2d 3e 74 79 70 65 20 3d 3d 20 22 24 5f 41 4e 44 5f 22 29 {....if.(cell->type.==."$_AND_")
5b00 00 00 09 09 09 2f 2f 7d 00 09 09 09 2f 2f 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 2f 2f 09 66 .....//}....//.continue;....//.f
5b20 66 5f 6d 61 70 5b 51 5d 20 3d 20 44 3b 00 09 09 09 2f 2f 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 f_map[Q].=.D;....//.undriven_bit
5b40 73 2e 65 72 61 73 65 28 51 29 3b 00 09 09 09 2f 2f 09 75 6e 75 73 65 64 5f 62 69 74 73 2e 65 72 s.erase(Q);....//.unused_bits.er
5b60 61 73 65 28 44 29 3b 00 09 09 09 2f 2f 09 53 69 67 42 69 74 20 51 20 3d 20 73 69 67 6d 61 70 28 ase(D);....//.SigBit.Q.=.sigmap(
5b80 63 65 6c 6c 2d 3e 67 65 74 50 6f 72 74 28 22 5c 5c 51 22 29 2e 61 73 5f 62 69 74 28 29 29 3b 00 cell->getPort("\\Q").as_bit());.
5ba0 09 09 09 2f 2f 09 53 69 67 42 69 74 20 44 20 3d 20 73 69 67 6d 61 70 28 63 65 6c 6c 2d 3e 67 65 ...//.SigBit.D.=.sigmap(cell->ge
5bc0 74 50 6f 72 74 28 22 5c 5c 44 22 29 2e 61 73 5f 62 69 74 28 29 29 3b 00 09 09 09 2f 2f 7b 00 09 tPort("\\D").as_bit());....//{..
5be0 09 09 2f 2f 69 66 20 28 63 65 6c 6c 2d 3e 74 79 70 65 2e 69 6e 28 22 24 5f 46 46 5f 22 2c 20 22 ..//if.(cell->type.in("$_FF_",."
5c00 24 5f 44 46 46 5f 4e 5f 22 2c 20 22 24 5f 44 46 46 5f 50 5f 22 29 29 00 00 09 09 09 7d 00 09 09 $_DFF_N_",."$_DFF_P_")).....}...
5c20 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 6e 6f 74 5f 6d 61 70 5b 59 5d 20 3d 20 41 3b 00 ..continue;.....not_map[Y].=.A;.
5c40 09 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 65 72 61 73 65 28 59 29 3b 00 09 09 09 09 ....undriven_bits.erase(Y);.....
5c60 75 6e 75 73 65 64 5f 62 69 74 73 2e 65 72 61 73 65 28 41 29 3b 00 09 09 09 09 53 69 67 42 69 74 unused_bits.erase(A);.....SigBit
5c80 20 59 20 3d 20 73 69 67 6d 61 70 28 63 65 6c 6c 2d 3e 67 65 74 50 6f 72 74 28 22 5c 5c 59 22 29 .Y.=.sigmap(cell->getPort("\\Y")
5ca0 2e 61 73 5f 62 69 74 28 29 29 3b 00 09 09 09 09 53 69 67 42 69 74 20 41 20 3d 20 73 69 67 6d 61 .as_bit());.....SigBit.A.=.sigma
5cc0 70 28 63 65 6c 6c 2d 3e 67 65 74 50 6f 72 74 28 22 5c 5c 41 22 29 2e 61 73 5f 62 69 74 28 29 29 p(cell->getPort("\\A").as_bit())
5ce0 3b 00 09 09 09 7b 00 09 09 09 69 66 20 28 63 65 6c 6c 2d 3e 74 79 70 65 20 3d 3d 20 22 24 5f 4e ;....{....if.(cell->type.==."$_N
5d00 4f 54 5f 22 29 00 09 09 7b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 63 65 6c 6c 20 3a 20 6d 6f 64 OT_")...{...for.(auto.cell.:.mod
5d20 75 6c 65 2d 3e 63 65 6c 6c 73 28 29 29 00 00 09 09 09 75 6e 75 73 65 64 5f 62 69 74 73 2e 65 72 ule->cells()).....unused_bits.er
5d40 61 73 65 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 6f 75 74 70 ase(bit);...for.(auto.bit.:.outp
5d60 75 74 5f 62 69 74 73 29 00 00 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 65 72 61 73 65 ut_bits).....undriven_bits.erase
5d80 28 62 69 74 29 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 69 6e 70 75 74 5f 62 (bit);...for.(auto.bit.:.input_b
5da0 69 74 73 29 00 00 09 09 7d 00 09 09 09 7d 00 09 09 09 09 7d 00 09 09 09 09 09 6f 75 74 70 75 74 its)....}....}.....}......output
5dc0 5f 62 69 74 73 2e 69 6e 73 65 72 74 28 77 69 72 65 62 69 74 29 3b 00 09 09 09 09 09 09 61 6c 69 _bits.insert(wirebit);.......ali
5de0 61 73 5f 6d 61 70 5b 77 69 72 65 62 69 74 5d 20 3d 20 62 69 74 3b 00 09 09 09 09 09 69 66 20 28 as_map[wirebit].=.bit;......if.(
5e00 62 69 74 20 21 3d 20 77 69 72 65 62 69 74 29 00 09 09 09 09 69 66 20 28 77 69 72 65 2d 3e 70 6f bit.!=.wirebit).....if.(wire->po
5e20 72 74 5f 6f 75 74 70 75 74 29 20 7b 00 00 09 09 09 09 09 69 6e 70 75 74 5f 62 69 74 73 2e 69 6e rt_output).{.......input_bits.in
5e40 73 65 72 74 28 62 69 74 29 3b 00 09 09 09 09 69 66 20 28 77 69 72 65 2d 3e 70 6f 72 74 5f 69 6e sert(bit);.....if.(wire->port_in
5e60 70 75 74 29 00 00 09 09 09 09 75 6e 75 73 65 64 5f 62 69 74 73 2e 69 6e 73 65 72 74 28 62 69 74 put)......unused_bits.insert(bit
5e80 29 3b 00 09 09 09 09 75 6e 64 72 69 76 65 6e 5f 62 69 74 73 2e 69 6e 73 65 72 74 28 62 69 74 29 );.....undriven_bits.insert(bit)
5ea0 3b 00 00 09 09 09 09 7d 00 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 09 7d 00 09 ;......}......continue;......}..
5ec0 09 09 09 09 09 6f 75 74 70 75 74 5f 62 69 74 73 2e 69 6e 73 65 72 74 28 77 69 72 65 62 69 74 29 .....output_bits.insert(wirebit)
5ee0 3b 00 09 09 09 09 09 09 61 69 67 5f 6d 61 70 5b 77 69 72 65 62 69 74 5d 20 3d 20 28 62 69 74 20 ;.......aig_map[wirebit].=.(bit.
5f00 3d 3d 20 53 74 61 74 65 3a 3a 53 31 29 20 3f 20 31 20 3a 20 30 3b 00 09 09 09 09 09 69 66 20 28 ==.State::S1).?.1.:.0;......if.(
5f20 77 69 72 65 2d 3e 70 6f 72 74 5f 6f 75 74 70 75 74 29 20 7b 00 09 09 09 09 69 66 20 28 62 69 74 wire->port_output).{.....if.(bit
5f40 2e 77 69 72 65 20 3d 3d 20 6e 75 6c 6c 70 74 72 29 20 7b 00 00 09 09 09 09 53 69 67 42 69 74 20 .wire.==.nullptr).{......SigBit.
5f60 62 69 74 20 3d 20 73 69 67 6d 61 70 28 77 69 72 65 62 69 74 29 3b 00 09 09 09 09 53 69 67 42 69 bit.=.sigmap(wirebit);.....SigBi
5f80 74 20 77 69 72 65 62 69 74 28 77 69 72 65 2c 20 69 29 3b 00 09 09 09 7b 00 09 09 09 66 6f 72 20 t.wirebit(wire,.i);....{....for.
5fa0 28 69 6e 74 20 69 20 3d 20 30 3b 20 69 20 3c 20 47 65 74 53 69 7a 65 28 77 69 72 65 29 3b 20 69 (int.i.=.0;.i.<.GetSize(wire);.i
5fc0 2b 2b 29 00 00 09 09 09 7d 00 09 09 09 09 09 09 69 6e 69 74 5f 6d 61 70 5b 69 6e 69 74 73 69 67 ++).....}.......init_map[initsig
5fe0 5b 69 5d 5d 20 3d 20 69 6e 69 74 76 61 6c 5b 69 5d 20 3d 3d 20 53 74 61 74 65 3a 3a 53 31 3b 00 [i]].=.initval[i].==.State::S1;.
6000 61 64 00 00 22 00 00 00 26 02 00 00 00 10 00 00 7a 00 00 00 00 00 00 00 d0 0f 00 00 a2 0f 00 00 ad.."...&.......z...............
6020 7b 0f 00 00 4b 0f 00 00 24 0f 00 00 e4 0e 00 00 df 0e 00 00 de 0e 00 00 b9 0e 00 00 8c 0e 00 00 {...K...$.......................
6040 8b 0e 00 00 5f 0e 00 00 46 0e 00 00 45 0e 00 00 19 0e 00 00 ec 0d 00 00 eb 0d 00 00 bd 0d 00 00 ...._...F...E...................
6060 90 0d 00 00 8f 0d 00 00 6a 0d 00 00 47 0d 00 00 21 0d 00 00 fa 0c 00 00 dd 0c 00 00 bf 0c 00 00 ........j...G...!...............
6080 a2 0c 00 00 85 0c 00 00 80 0c 00 00 7c 0c 00 00 7b 0c 00 00 67 0c 00 00 63 0c 00 00 3a 0c 00 00 ............|...{...g...c...:...
60a0 39 0c 00 00 14 0c 00 00 0f 0c 00 00 ef 0b 00 00 de 0b 00 00 dd 0b 00 00 bd 0b 00 00 bc 0b 00 00 9...............................
60c0 90 0b 00 00 8a 0b 00 00 67 0b 00 00 4a 0b 00 00 29 0b 00 00 1e 0b 00 00 0d 0b 00 00 06 0b 00 00 ........g...J...)...............
60e0 05 0b 00 00 be 0a 00 00 9c 0a 00 00 7c 0a 00 00 5e 0a 00 00 04 0a 00 00 f9 09 00 00 a6 09 00 00 ............|...^...............
6100 9f 09 00 00 9e 09 00 00 4b 09 00 00 17 09 00 00 f9 08 00 00 8f 08 00 00 84 08 00 00 21 08 00 00 ........K...................!...
6120 1a 08 00 00 19 08 00 00 f3 07 00 00 cd 07 00 00 ad 07 00 00 8f 07 00 00 30 07 00 00 25 07 00 00 ........................0...%...
6140 cd 06 00 00 c6 06 00 00 c5 06 00 00 9b 06 00 00 71 06 00 00 24 06 00 00 06 06 00 00 b0 05 00 00 ................q...$...........
6160 a5 05 00 00 56 05 00 00 4f 05 00 00 49 05 00 00 44 05 00 00 43 05 00 00 30 05 00 00 2f 05 00 00 ....V...O...I...D...C...0.../...
6180 10 05 00 00 fc 04 00 00 c7 04 00 00 a8 04 00 00 94 04 00 00 80 04 00 00 7b 04 00 00 77 04 00 00 ........................{...w...
61a0 76 04 00 00 3b 04 00 00 38 04 00 00 37 04 00 00 f8 03 00 00 f5 03 00 00 d4 03 00 00 b4 03 00 00 v...;...8...7...................
61c0 92 03 00 00 71 03 00 00 51 03 00 00 50 03 00 00 2c 03 00 00 28 03 00 00 f9 02 00 00 e9 02 00 00 ....q...Q...P...,...(...........
61e0 e8 02 00 00 c9 02 00 00 c8 02 00 00 9d 02 00 00 98 02 00 00 7a 02 00 00 47 02 00 00 26 02 00 00 ....................z...G...&...
6200 25 02 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 %...............................
6220 00 00 00 00 00 00 09 09 09 09 09 69 6e 74 20 61 20 3d 20 61 69 67 5f 6d 61 70 2e 61 74 28 73 69 ...........int.a.=.aig_map.at(si
6240 67 5b 69 5d 29 3b 00 09 09 09 09 69 66 20 28 69 6e 70 75 74 5f 62 69 74 73 2e 63 6f 75 6e 74 28 g[i]);.....if.(input_bits.count(
6260 62 29 20 7c 7c 20 63 69 5f 62 69 74 73 2e 63 6f 75 6e 74 28 62 29 29 20 7b 00 09 09 09 09 52 54 b).||.ci_bits.count(b)).{.....RT
6280 4c 49 4c 3a 3a 53 69 67 42 69 74 20 62 28 77 69 72 65 2c 20 69 29 3b 00 09 09 09 7b 00 09 09 09 LIL::SigBit.b(wire,.i);....{....
62a0 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 30 3b 20 69 20 3c 20 47 65 74 53 69 7a 65 28 77 69 72 65 for.(int.i.=.0;.i.<.GetSize(wire
62c0 29 3b 20 69 2b 2b 29 00 00 09 09 09 53 69 67 53 70 65 63 20 73 69 67 20 3d 20 73 69 67 6d 61 70 );.i++).....SigSpec.sig.=.sigmap
62e0 28 77 69 72 65 29 3b 00 00 09 09 09 2f 2f 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 2f 2f 69 66 (wire);.....//.continue;....//if
6300 20 28 21 76 65 72 62 6f 73 65 5f 6d 61 70 20 26 26 20 77 69 72 65 2d 3e 6e 61 6d 65 5b 30 5d 20 .(!verbose_map.&&.wire->name[0].
6320 3d 3d 20 27 24 27 29 00 09 09 7b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 77 69 72 65 20 3a 20 6d ==.'$')...{...for.(auto.wire.:.m
6340 6f 64 75 6c 65 2d 3e 77 69 72 65 73 28 29 29 00 00 09 09 64 69 63 74 3c 69 6e 74 2c 20 73 74 72 odule->wires())....dict<int,.str
6360 69 6e 67 3e 20 77 69 72 65 5f 6c 69 6e 65 73 3b 00 09 09 64 69 63 74 3c 69 6e 74 2c 20 73 74 72 ing>.wire_lines;...dict<int,.str
6380 69 6e 67 3e 20 6c 61 74 63 68 5f 6c 69 6e 65 73 3b 00 09 09 64 69 63 74 3c 69 6e 74 2c 20 73 74 ing>.latch_lines;...dict<int,.st
63a0 72 69 6e 67 3e 20 6f 75 74 70 75 74 5f 6c 69 6e 65 73 3b 00 09 09 64 69 63 74 3c 69 6e 74 2c 20 ring>.output_lines;...dict<int,.
63c0 73 74 72 69 6e 67 3e 20 69 6e 69 74 5f 6c 69 6e 65 73 3b 00 09 09 64 69 63 74 3c 69 6e 74 2c 20 string>.init_lines;...dict<int,.
63e0 73 74 72 69 6e 67 3e 20 69 6e 70 75 74 5f 6c 69 6e 65 73 3b 00 09 7b 00 09 76 6f 69 64 20 77 72 string>.input_lines;..{..void.wr
6400 69 74 65 5f 6d 61 70 28 73 74 64 3a 3a 6f 73 74 72 65 61 6d 20 26 66 2c 20 62 6f 6f 6c 20 76 65 ite_map(std::ostream.&f,.bool.ve
6420 72 62 6f 73 65 5f 6d 61 70 2c 20 62 6f 6f 6c 20 6f 6d 6f 64 65 29 00 00 09 7d 00 09 09 66 20 3c rbose_map,.bool.omode)...}...f.<
6440 3c 20 73 74 72 69 6e 67 66 28 22 63 5c 6e 47 65 6e 65 72 61 74 65 64 20 62 79 20 25 73 5c 6e 22 <.stringf("c\nGenerated.by.%s\n"
6460 2c 20 79 6f 73 79 73 5f 76 65 72 73 69 6f 6e 5f 73 74 72 29 3b 00 00 09 09 7d 00 09 09 09 7d 00 ,.yosys_version_str);....}....}.
6480 09 09 09 09 66 20 3c 3c 20 73 74 64 3a 3a 65 6e 64 6c 3b 00 09 09 09 09 09 66 20 3c 3c 20 22 20 ....f.<<.std::endl;......f.<<.".
64a0 22 20 3c 3c 20 73 3b 00 09 09 09 09 66 6f 72 20 28 61 75 74 6f 20 26 73 20 3a 20 73 79 6d 2e 73 ".<<.s;.....for.(auto.&s.:.sym.s
64c0 65 63 6f 6e 64 29 00 09 09 09 09 73 74 64 3a 3a 73 6f 72 74 28 73 79 6d 2e 73 65 63 6f 6e 64 2e econd).....std::sort(sym.second.
64e0 62 65 67 69 6e 28 29 2c 20 73 79 6d 2e 73 65 63 6f 6e 64 2e 65 6e 64 28 29 29 3b 00 09 09 09 09 begin(),.sym.second.end());.....
6500 66 20 3c 3c 20 73 79 6d 2e 66 69 72 73 74 3b 00 09 09 09 66 6f 72 20 28 61 75 74 6f 20 26 73 79 f.<<.sym.first;....for.(auto.&sy
6520 6d 20 3a 20 73 79 6d 62 6f 6c 73 29 20 7b 00 00 09 09 09 73 79 6d 62 6f 6c 73 2e 73 6f 72 74 28 m.:.symbols).{.....symbols.sort(
6540 29 3b 00 00 09 09 09 7d 00 09 09 09 09 7d 00 09 09 09 09 09 7d 00 09 09 09 09 09 09 09 73 79 6d );.....}.....}......}........sym
6560 62 6f 6c 73 5b 73 74 72 69 6e 67 66 28 22 6c 25 64 22 2c 20 6c 29 5d 2e 70 75 73 68 5f 62 61 63 bols[stringf("l%d",.l)].push_bac
6580 6b 28 73 74 72 69 6e 67 66 28 22 25 73 25 73 22 2c 20 70 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 k(stringf("%s%s",.p,.log_id(wire
65a0 29 29 29 3b 00 09 09 09 09 09 09 65 6c 73 65 00 09 09 09 09 09 09 09 73 79 6d 62 6f 6c 73 5b 73 )));.......else........symbols[s
65c0 74 72 69 6e 67 66 28 22 6c 25 64 22 2c 20 6c 29 5d 2e 70 75 73 68 5f 62 61 63 6b 28 73 74 72 69 tringf("l%d",.l)].push_back(stri
65e0 6e 67 66 28 22 25 73 25 73 5b 25 64 5d 22 2c 20 70 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 2c ngf("%s%s[%d]",.p,.log_id(wire),
6600 20 69 29 29 3b 00 09 09 09 09 09 09 69 66 20 28 47 65 74 53 69 7a 65 28 77 69 72 65 29 20 21 3d .i));.......if.(GetSize(wire).!=
6620 20 31 29 00 09 09 09 09 09 09 63 6f 6e 73 74 20 63 68 61 72 20 2a 70 20 3d 20 28 7a 69 6e 69 74 .1).......const.char.*p.=.(zinit
6640 5f 6d 6f 64 65 20 26 26 20 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 28 6c 29 20 3d 3d _mode.&&.(aig_latchinit.at(l).==
6660 20 31 29 29 20 3f 20 22 21 22 20 3a 20 22 22 3b 00 09 09 09 09 09 09 69 6e 74 20 6c 20 3d 20 6f .1)).?."!".:."";.......int.l.=.o
6680 72 64 65 72 65 64 5f 6c 61 74 63 68 65 73 2e 61 74 28 73 69 67 5b 69 5d 29 3b 00 09 09 09 09 09 rdered_latches.at(sig[i]);......
66a0 69 66 20 28 6f 72 64 65 72 65 64 5f 6c 61 74 63 68 65 73 2e 63 6f 75 6e 74 28 73 69 67 5b 69 5d if.(ordered_latches.count(sig[i]
66c0 29 29 20 7b 00 00 09 09 09 09 09 7d 00 09 09 09 09 09 09 09 73 79 6d 62 6f 6c 73 5b 73 74 72 69 )).{.......}........symbols[stri
66e0 6e 67 66 28 22 69 25 64 22 2c 20 28 61 20 3e 3e 20 31 29 2d 31 29 5d 2e 70 75 73 68 5f 62 61 63 ngf("i%d",.(a.>>.1)-1)].push_bac
6700 6b 28 73 74 72 69 6e 67 66 28 22 69 6e 69 74 3a 25 73 22 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 k(stringf("init:%s",.log_id(wire
6720 29 29 29 3b 00 09 09 09 09 09 09 65 6c 73 65 00 09 09 09 09 09 09 09 73 79 6d 62 6f 6c 73 5b 73 )));.......else........symbols[s
6740 74 72 69 6e 67 66 28 22 69 25 64 22 2c 20 28 61 20 3e 3e 20 31 29 2d 31 29 5d 2e 70 75 73 68 5f tringf("i%d",.(a.>>.1)-1)].push_
6760 62 61 63 6b 28 73 74 72 69 6e 67 66 28 22 69 6e 69 74 3a 25 73 5b 25 64 5d 22 2c 20 6c 6f 67 5f back(stringf("init:%s[%d]",.log_
6780 69 64 28 77 69 72 65 29 2c 20 69 29 29 3b 00 09 09 09 09 09 09 69 66 20 28 47 65 74 53 69 7a 65 id(wire),.i));.......if.(GetSize
67a0 28 77 69 72 65 29 20 21 3d 20 31 29 00 09 09 09 09 09 09 6c 6f 67 5f 61 73 73 65 72 74 28 28 61 (wire).!=.1).......log_assert((a
67c0 20 26 20 31 29 20 3d 3d 20 30 29 3b 00 09 09 09 09 09 09 69 6e 74 20 61 20 3d 20 69 6e 69 74 5f .&.1).==.0);.......int.a.=.init_
67e0 69 6e 70 75 74 73 2e 61 74 28 73 69 67 5b 69 5d 29 3b 00 09 09 09 09 09 69 66 20 28 69 6e 69 74 inputs.at(sig[i]);......if.(init
6800 5f 69 6e 70 75 74 73 2e 63 6f 75 6e 74 28 73 69 67 5b 69 5d 29 29 20 7b 00 00 09 09 09 09 09 7d _inputs.count(sig[i])).{.......}
6820 00 09 09 09 09 09 09 09 73 79 6d 62 6f 6c 73 5b 73 74 72 69 6e 67 66 28 22 25 63 25 64 22 2c 20 ........symbols[stringf("%c%d",.
6840 6d 69 74 65 72 5f 6d 6f 64 65 20 3f 20 27 62 27 20 3a 20 27 6f 27 2c 20 6f 29 5d 2e 70 75 73 68 miter_mode.?.'b'.:.'o',.o)].push
6860 5f 62 61 63 6b 28 73 74 72 69 6e 67 66 28 22 25 73 22 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 _back(stringf("%s",.log_id(wire)
6880 29 29 3b 00 09 09 09 09 09 09 65 6c 73 65 00 09 09 09 09 09 09 09 73 79 6d 62 6f 6c 73 5b 73 74 ));.......else........symbols[st
68a0 72 69 6e 67 66 28 22 25 63 25 64 22 2c 20 6d 69 74 65 72 5f 6d 6f 64 65 20 3f 20 27 62 27 20 3a ringf("%c%d",.miter_mode.?.'b'.:
68c0 20 27 6f 27 2c 20 6f 29 5d 2e 70 75 73 68 5f 62 61 63 6b 28 73 74 72 69 6e 67 66 28 22 25 73 5b .'o',.o)].push_back(stringf("%s[
68e0 25 64 5d 22 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 2c 20 69 29 29 3b 00 09 09 09 09 09 09 69 %d]",.log_id(wire),.i));.......i
6900 66 20 28 47 65 74 53 69 7a 65 28 77 69 72 65 29 20 21 3d 20 31 29 00 09 09 09 09 09 09 69 6e 74 f.(GetSize(wire).!=.1).......int
6920 20 6f 20 3d 20 6f 72 64 65 72 65 64 5f 6f 75 74 70 75 74 73 2e 61 74 28 53 69 67 53 70 65 63 28 .o.=.ordered_outputs.at(SigSpec(
6940 77 69 72 65 2c 20 69 29 29 3b 00 09 09 09 09 09 69 66 20 28 6f 75 74 70 75 74 5f 62 69 74 73 2e wire,.i));......if.(output_bits.
6960 63 6f 75 6e 74 28 53 69 67 53 70 65 63 28 77 69 72 65 2c 20 69 29 29 20 7c 7c 20 63 6f 5f 62 69 count(SigSpec(wire,.i)).||.co_bi
6980 74 73 2e 63 6f 75 6e 74 28 53 69 67 53 70 65 63 28 77 69 72 65 2c 20 69 29 29 29 20 7b 00 00 09 ts.count(SigSpec(wire,.i))).{...
69a0 09 09 09 09 7d 00 09 09 09 09 09 09 09 73 79 6d 62 6f 6c 73 5b 73 74 72 69 6e 67 66 28 22 69 25 ....}........symbols[stringf("i%
69c0 64 22 2c 20 28 61 20 3e 3e 20 31 29 2d 31 29 5d 2e 70 75 73 68 5f 62 61 63 6b 28 73 74 72 69 6e d",.(a.>>.1)-1)].push_back(strin
69e0 67 66 28 22 25 73 22 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 29 29 3b 00 09 09 09 09 09 09 65 gf("%s",.log_id(wire)));.......e
6a00 6c 73 65 00 09 09 09 09 09 09 09 73 79 6d 62 6f 6c 73 5b 73 74 72 69 6e 67 66 28 22 69 25 64 22 lse........symbols[stringf("i%d"
6a20 2c 20 28 61 20 3e 3e 20 31 29 2d 31 29 5d 2e 70 75 73 68 5f 62 61 63 6b 28 73 74 72 69 6e 67 66 ,.(a.>>.1)-1)].push_back(stringf
6a40 28 22 25 73 5b 25 64 5d 22 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 2c 20 69 29 29 3b 00 09 09 ("%s[%d]",.log_id(wire),.i));...
6a60 09 09 09 09 69 66 20 28 47 65 74 53 69 7a 65 28 77 69 72 65 29 20 21 3d 20 31 29 00 09 09 09 09 ....if.(GetSize(wire).!=.1).....
6a80 09 09 6c 6f 67 5f 61 73 73 65 72 74 28 28 61 20 26 20 31 29 20 3d 3d 20 30 29 3b 00 09 09 09 09 ..log_assert((a.&.1).==.0);.....
6aa0 09 09 69 6e 74 20 61 20 3d 20 61 69 67 5f 6d 61 70 2e 61 74 28 73 69 67 5b 69 5d 29 3b 00 09 09 ..int.a.=.aig_map.at(sig[i]);...
6ac0 09 09 09 69 66 20 28 69 6e 70 75 74 5f 62 69 74 73 2e 63 6f 75 6e 74 28 73 69 67 5b 69 5d 29 20 ...if.(input_bits.count(sig[i]).
6ae0 7c 7c 20 63 69 5f 62 69 74 73 2e 63 6f 75 6e 74 28 53 69 67 53 70 65 63 28 73 69 67 5b 69 5d 29 ||.ci_bits.count(SigSpec(sig[i])
6b00 29 29 20 7b 00 00 09 09 09 09 09 7d 00 09 09 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 )).{.......}........continue;...
6b20 09 09 09 09 65 6c 73 65 00 09 09 09 09 09 09 09 73 69 67 5b 69 5d 20 3d 20 53 69 67 42 69 74 28 ....else........sig[i].=.SigBit(
6b40 77 69 72 65 2c 20 69 29 3b 00 09 09 09 09 09 09 69 66 20 28 77 69 72 65 2d 3e 70 6f 72 74 5f 6f wire,.i);.......if.(wire->port_o
6b60 75 74 70 75 74 29 00 09 09 09 09 09 69 66 20 28 73 69 67 5b 69 5d 2e 77 69 72 65 20 3d 3d 20 6e utput)......if.(sig[i].wire.==.n
6b80 75 6c 6c 70 74 72 29 20 7b 00 09 09 09 09 7b 00 09 09 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d ullptr).{.....{.....for.(int.i.=
6ba0 20 30 3b 20 69 20 3c 20 47 65 74 53 69 7a 65 28 77 69 72 65 29 3b 20 69 2b 2b 29 00 00 09 09 09 .0;.i.<.GetSize(wire);.i++).....
6bc0 09 53 69 67 53 70 65 63 20 73 69 67 20 3d 20 73 69 67 6d 61 70 28 77 69 72 65 29 3b 00 00 09 09 .SigSpec.sig.=.sigmap(wire);....
6be0 09 09 2f 2f 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 2f 2f 69 66 20 28 77 69 72 65 2d 3e 6e ..//.continue;.....//if.(wire->n
6c00 61 6d 65 5b 30 5d 20 3d 3d 20 27 24 27 29 00 09 09 09 7b 00 09 09 09 66 6f 72 20 28 61 75 74 6f ame[0].==.'$')....{....for.(auto
6c20 20 77 69 72 65 20 3a 20 6d 6f 64 75 6c 65 2d 3e 77 69 72 65 73 28 29 29 00 00 09 09 09 64 69 63 .wire.:.module->wires()).....dic
6c40 74 3c 73 74 72 69 6e 67 2c 20 76 65 63 74 6f 72 3c 73 74 72 69 6e 67 3e 3e 20 73 79 6d 62 6f 6c t<string,.vector<string>>.symbol
6c60 73 3b 00 09 09 7b 00 09 09 69 66 20 28 73 79 6d 62 6f 6c 73 5f 6d 6f 64 65 29 00 00 09 09 7d 00 s;...{...if.(symbols_mode)....}.
6c80 09 09 09 7d 00 09 09 09 09 61 69 67 65 72 5f 65 6e 63 6f 64 65 28 66 2c 20 64 65 6c 74 61 31 29 ...}.....aiger_encode(f,.delta1)
6ca0 3b 00 09 09 09 09 61 69 67 65 72 5f 65 6e 63 6f 64 65 28 66 2c 20 64 65 6c 74 61 30 29 3b 00 09 ;.....aiger_encode(f,.delta0);..
6cc0 09 09 09 69 6e 74 20 64 65 6c 74 61 31 20 3d 20 72 68 73 30 20 2d 20 72 68 73 31 3b 00 09 09 09 ...int.delta1.=.rhs0.-.rhs1;....
6ce0 09 69 6e 74 20 64 65 6c 74 61 30 20 3d 20 6c 68 73 20 2d 20 72 68 73 30 3b 00 09 09 09 09 69 6e .int.delta0.=.lhs.-.rhs0;.....in
6d00 74 20 72 68 73 31 20 3d 20 61 69 67 5f 67 61 74 65 73 2e 61 74 28 69 29 2e 73 65 63 6f 6e 64 3b t.rhs1.=.aig_gates.at(i).second;
6d20 00 09 09 09 09 69 6e 74 20 72 68 73 30 20 3d 20 61 69 67 5f 67 61 74 65 73 2e 61 74 28 69 29 2e .....int.rhs0.=.aig_gates.at(i).
6d40 66 69 72 73 74 3b 00 09 09 09 09 69 6e 74 20 6c 68 73 20 3d 20 32 2a 28 61 69 67 5f 69 2b 61 69 first;.....int.lhs.=.2*(aig_i+ai
6d60 67 5f 6c 2b 69 29 2b 32 3b 00 09 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 30 3b 20 69 20 3c g_l+i)+2;....for.(int.i.=.0;.i.<
6d80 20 61 69 67 5f 61 3b 20 69 2b 2b 29 20 7b 00 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 .aig_a;.i++).{......f.<<.stringf
6da0 28 22 25 64 5c 6e 22 2c 20 61 69 67 5f 6f 75 74 70 75 74 73 2e 61 74 28 69 29 29 3b 00 09 09 09 ("%d\n",.aig_outputs.at(i));....
6dc0 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 61 69 67 5f 6f 62 63 6a 3b 20 69 20 3c 20 61 69 67 5f 6f for.(int.i.=.aig_obcj;.i.<.aig_o
6de0 62 63 6a 66 3b 20 69 2b 2b 29 00 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 bcjf;.i++)......f.<<.stringf("%d
6e00 5c 6e 22 2c 20 61 69 67 5f 6f 75 74 70 75 74 73 2e 61 74 28 69 29 29 3b 00 09 09 09 66 6f 72 20 \n",.aig_outputs.at(i));....for.
6e20 28 69 6e 74 20 69 20 3d 20 61 69 67 5f 6f 62 63 3b 20 69 20 3c 20 61 69 67 5f 6f 62 63 6a 3b 20 (int.i.=.aig_obc;.i.<.aig_obcj;.
6e40 69 2b 2b 29 00 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 31 5c 6e 22 29 3b 00 09 i++)......f.<<.stringf("1\n");..
6e60 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 61 69 67 5f 6f 62 63 3b 20 69 20 3c 20 61 69 67 5f ..for.(int.i.=.aig_obc;.i.<.aig_
6e80 6f 62 63 6a 3b 20 69 2b 2b 29 00 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 obcj;.i++)......f.<<.stringf("%d
6ea0 5c 6e 22 2c 20 61 69 67 5f 6f 75 74 70 75 74 73 2e 61 74 28 69 29 29 3b 00 09 09 09 66 6f 72 20 \n",.aig_outputs.at(i));....for.
6ec0 28 69 6e 74 20 69 20 3d 20 30 3b 20 69 20 3c 20 61 69 67 5f 6f 62 63 3b 20 69 2b 2b 29 00 00 09 (int.i.=.0;.i.<.aig_obc;.i++)...
6ee0 09 09 7d 00 09 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 20 25 64 5c 6e 22 2c ..}......f.<<.stringf("%d.%d\n",
6f00 20 61 69 67 5f 6c 61 74 63 68 69 6e 2e 61 74 28 69 29 2c 20 32 2a 28 61 69 67 5f 69 2b 69 29 2b .aig_latchin.at(i),.2*(aig_i+i)+
6f20 32 29 3b 00 09 09 09 09 65 6c 73 65 20 69 66 20 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 2);.....else.if.(aig_latchinit.a
6f40 74 28 69 29 20 3d 3d 20 32 29 00 09 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 t(i).==.2)......f.<<.stringf("%d
6f60 20 31 5c 6e 22 2c 20 61 69 67 5f 6c 61 74 63 68 69 6e 2e 61 74 28 69 29 29 3b 00 09 09 09 09 65 .1\n",.aig_latchin.at(i));.....e
6f80 6c 73 65 20 69 66 20 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 28 69 29 20 3d 3d 20 31 lse.if.(aig_latchinit.at(i).==.1
6fa0 29 00 09 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 5c 6e 22 2c 20 61 69 67 5f )......f.<<.stringf("%d\n",.aig_
6fc0 6c 61 74 63 68 69 6e 2e 61 74 28 69 29 29 3b 00 09 09 09 09 69 66 20 28 7a 69 6e 69 74 5f 6d 6f latchin.at(i));.....if.(zinit_mo
6fe0 64 65 20 7c 7c 20 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 28 69 29 20 3d 3d 20 30 29 00 de.||.aig_latchinit.at(i).==.0).
7000 61 64 00 00 0d 00 00 00 0d 02 00 00 00 10 00 00 79 00 00 00 00 00 00 00 e1 0f 00 00 90 0f 00 00 ad..............y...............
7020 81 0f 00 00 7b 0f 00 00 7a 0f 00 00 46 0f 00 00 22 0f 00 00 d8 0e 00 00 c9 0e 00 00 c3 0e 00 00 ....{...z...F..."...............
7040 c2 0e 00 00 9d 0e 00 00 78 0e 00 00 59 0e 00 00 0a 0e 00 00 fb 0d 00 00 f5 0d 00 00 f4 0d 00 00 ........x...Y...................
7060 cb 0d 00 00 a2 0d 00 00 6f 0d 00 00 23 0d 00 00 19 0d 00 00 d0 0c 00 00 c1 0c 00 00 bb 0c 00 00 ........o...#...................
7080 ba 0c 00 00 a3 0c 00 00 7e 0c 00 00 6e 0c 00 00 6d 0c 00 00 4c 0c 00 00 06 0c 00 00 00 0c 00 00 ........~...n...m...L...........
70a0 fb 0b 00 00 f7 0b 00 00 f6 0b 00 00 e0 0b 00 00 c1 0b 00 00 ae 0b 00 00 66 0b 00 00 65 0b 00 00 ........................f...e...
70c0 50 0b 00 00 32 0b 00 00 1f 0b 00 00 1e 0b 00 00 07 0b 00 00 e7 0a 00 00 d4 0a 00 00 8a 0a 00 00 P...2...........................
70e0 65 0a 00 00 41 0a 00 00 40 0a 00 00 2a 0a 00 00 0b 0a 00 00 f8 09 00 00 f7 09 00 00 e2 09 00 00 e...A...@...*...................
7100 c4 09 00 00 b1 09 00 00 ae 09 00 00 ab 09 00 00 aa 09 00 00 82 09 00 00 3a 09 00 00 21 09 00 00 ........................:...!...
7120 1e 09 00 00 c5 08 00 00 b8 08 00 00 86 08 00 00 79 08 00 00 20 08 00 00 c5 07 00 00 b8 07 00 00 ................y...............
7140 a1 07 00 00 69 07 00 00 5c 07 00 00 45 07 00 00 ef 06 00 00 c8 06 00 00 bb 06 00 00 a2 06 00 00 ....i...\...E...................
7160 5b 06 00 00 4e 06 00 00 2e 06 00 00 ea 05 00 00 dd 05 00 00 bc 05 00 00 8c 05 00 00 7f 05 00 00 [...N...........................
7180 64 05 00 00 12 05 00 00 bf 04 00 00 99 04 00 00 8c 04 00 00 89 04 00 00 11 04 00 00 0e 04 00 00 d...............................
71a0 f3 03 00 00 d8 03 00 00 bd 03 00 00 a0 03 00 00 84 03 00 00 6e 03 00 00 58 03 00 00 42 03 00 00 ....................n...X...B...
71c0 26 03 00 00 25 03 00 00 f0 02 00 00 ef 02 00 00 de 02 00 00 ab 02 00 00 a7 02 00 00 84 02 00 00 &...%...........................
71e0 6d 02 00 00 5f 02 00 00 5a 02 00 00 37 02 00 00 20 02 00 00 12 02 00 00 0d 02 00 00 0c 02 00 00 m..._...Z...7...................
7200 00 00 00 00 00 00 00 00 00 00 00 00 00 09 09 09 7d 00 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 ................}.....continue;.
7220 09 09 09 09 7a 69 6e 69 74 5f 6d 6f 64 65 20 3d 20 74 72 75 65 3b 00 09 09 09 69 66 20 28 61 72 ....zinit_mode.=.true;....if.(ar
7240 67 73 5b 61 72 67 69 64 78 5d 20 3d 3d 20 22 2d 7a 69 6e 69 74 22 29 20 7b 00 09 09 09 7d 00 09 gs[argidx].==."-zinit").{....}..
7260 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 61 73 63 69 69 5f 6d 6f 64 65 20 3d 20 74 72 ...continue;.....ascii_mode.=.tr
7280 75 65 3b 00 09 09 09 69 66 20 28 61 72 67 73 5b 61 72 67 69 64 78 5d 20 3d 3d 20 22 2d 61 73 63 ue;....if.(args[argidx].==."-asc
72a0 69 69 22 29 20 7b 00 09 09 7b 00 09 09 66 6f 72 20 28 61 72 67 69 64 78 20 3d 20 31 3b 20 61 72 ii").{...{...for.(argidx.=.1;.ar
72c0 67 69 64 78 20 3c 20 61 72 67 73 2e 73 69 7a 65 28 29 3b 20 61 72 67 69 64 78 2b 2b 29 00 09 09 gidx.<.args.size();.argidx++)...
72e0 73 69 7a 65 5f 74 20 61 72 67 69 64 78 3b 00 00 09 09 6c 6f 67 5f 68 65 61 64 65 72 28 64 65 73 size_t.argidx;....log_header(des
7300 69 67 6e 2c 20 22 45 78 65 63 75 74 69 6e 67 20 58 41 49 47 45 52 20 62 61 63 6b 65 6e 64 2e 5c ign,."Executing.XAIGER.backend.\
7320 6e 22 29 3b 00 00 09 09 73 74 64 3a 3a 73 74 72 69 6e 67 20 6d 61 70 5f 66 69 6c 65 6e 61 6d 65 n");....std::string.map_filename
7340 3b 00 09 09 62 6f 6f 6c 20 62 6d 6f 64 65 20 3d 20 66 61 6c 73 65 3b 00 09 09 62 6f 6f 6c 20 6f ;...bool.bmode.=.false;...bool.o
7360 6d 6f 64 65 20 3d 20 66 61 6c 73 65 3b 00 09 09 62 6f 6f 6c 20 69 6d 6f 64 65 20 3d 20 66 61 6c mode.=.false;...bool.imode.=.fal
7380 73 65 3b 00 09 09 62 6f 6f 6c 20 76 65 72 62 6f 73 65 5f 6d 61 70 20 3d 20 66 61 6c 73 65 3b 00 se;...bool.verbose_map.=.false;.
73a0 09 09 62 6f 6f 6c 20 73 79 6d 62 6f 6c 73 5f 6d 6f 64 65 20 3d 20 66 61 6c 73 65 3b 00 09 09 62 ..bool.symbols_mode.=.false;...b
73c0 6f 6f 6c 20 6d 69 74 65 72 5f 6d 6f 64 65 20 3d 20 66 61 6c 73 65 3b 00 09 09 62 6f 6f 6c 20 7a ool.miter_mode.=.false;...bool.z
73e0 69 6e 69 74 5f 6d 6f 64 65 20 3d 20 66 61 6c 73 65 3b 00 09 09 62 6f 6f 6c 20 61 73 63 69 69 5f init_mode.=.false;...bool.ascii_
7400 6d 6f 64 65 20 3d 20 66 61 6c 73 65 3b 00 09 7b 00 09 76 6f 69 64 20 65 78 65 63 75 74 65 28 73 mode.=.false;..{..void.execute(s
7420 74 64 3a 3a 6f 73 74 72 65 61 6d 20 2a 26 66 2c 20 73 74 64 3a 3a 73 74 72 69 6e 67 20 66 69 6c td::ostream.*&f,.std::string.fil
7440 65 6e 61 6d 65 2c 20 73 74 64 3a 3a 76 65 63 74 6f 72 3c 73 74 64 3a 3a 73 74 72 69 6e 67 3e 20 ename,.std::vector<std::string>.
7460 61 72 67 73 2c 20 52 54 4c 49 4c 3a 3a 44 65 73 69 67 6e 20 2a 64 65 73 69 67 6e 29 20 59 53 5f args,.RTLIL::Design.*design).YS_
7480 4f 56 45 52 52 49 44 45 00 09 7d 00 09 09 6c 6f 67 28 22 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 OVERRIDE..}...log("\n");...log("
74a0 20 20 20 20 20 20 20 20 41 49 47 45 52 20 66 69 6c 65 20 68 61 70 70 79 2e 5c 6e 22 29 3b 00 09 ........AIGER.file.happy.\n");..
74c0 09 6c 6f 67 28 22 20 20 20 20 20 20 20 20 64 75 6d 6d 79 20 69 6e 70 75 74 2f 6f 75 74 70 75 74 .log("........dummy.input/output
74e0 2f 62 61 64 5f 73 74 61 74 65 20 70 69 6e 20 74 6f 20 6d 61 6b 65 20 74 68 65 20 74 6f 6f 6c 73 /bad_state.pin.to.make.the.tools
7500 20 72 65 61 64 69 6e 67 20 74 68 65 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 20 20 20 .reading.the\n");...log(".......
7520 20 49 66 20 74 68 65 20 64 65 73 69 67 6e 20 63 6f 6e 74 61 69 6e 73 20 6e 6f 20 69 6e 70 75 74 .If.the.design.contains.no.input
7540 2f 6f 75 74 70 75 74 2f 61 73 73 65 72 74 20 74 68 65 6e 20 63 72 65 61 74 65 20 6f 6e 65 5c 6e /output/assert.then.create.one\n
7560 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 2d 49 2c 20 2d 4f 2c 20 2d 42 5c 6e 22 29 3b 00 09 ");...log("....-I,.-O,.-B\n");..
7580 09 6c 6f 67 28 22 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 20 20 20 20 6c 69 6b 65 20 .log("\n");...log("........like.
75a0 2d 6d 61 70 2c 20 62 75 74 20 6d 6f 72 65 20 76 65 72 62 6f 73 65 5c 6e 22 29 3b 00 09 09 6c 6f -map,.but.more.verbose\n");...lo
75c0 67 28 22 20 20 20 20 2d 76 6d 61 70 20 3c 66 69 6c 65 6e 61 6d 65 3e 5c 6e 22 29 3b 00 09 09 6c g("....-vmap.<filename>\n");...l
75e0 6f 67 28 22 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 20 20 20 20 77 72 69 74 65 20 61 og("\n");...log("........write.a
7600 6e 20 65 78 74 72 61 20 66 69 6c 65 20 77 69 74 68 20 70 6f 72 74 20 61 6e 64 20 6c 61 74 63 68 n.extra.file.with.port.and.latch
7620 20 73 79 6d 62 6f 6c 73 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 2d 6d 61 70 20 3c 66 .symbols\n");...log("....-map.<f
7640 69 6c 65 6e 61 6d 65 3e 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 5c 6e 22 29 3b 00 09 09 6c 6f 67 ilename>\n");...log("\n");...log
7660 28 22 20 20 20 20 20 20 20 20 69 6e 63 6c 75 64 65 20 61 20 73 79 6d 62 6f 6c 20 74 61 62 6c 65 ("........include.a.symbol.table
7680 20 69 6e 20 74 68 65 20 67 65 6e 65 72 61 74 65 64 20 41 49 47 45 52 20 66 69 6c 65 5c 6e 22 29 .in.the.generated.AIGER.file\n")
76a0 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 2d 73 79 6d 62 6f 6c 73 5c 6e 22 29 3b 00 09 09 6c 6f 67 ;...log("....-symbols\n");...log
76c0 28 22 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 20 20 20 20 75 6e 69 6e 69 74 69 61 6c ("\n");...log("........uninitial
76e0 69 7a 65 64 20 46 46 73 2e 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 20 20 20 20 63 6f ized.FFs.\n");...log("........co
7700 6e 76 65 72 74 20 46 46 73 20 74 6f 20 7a 65 72 6f 2d 69 6e 69 74 69 61 6c 69 7a 65 64 20 46 46 nvert.FFs.to.zero-initialized.FF
7720 73 2c 20 61 64 64 69 6e 67 20 61 64 64 69 74 69 6f 6e 61 6c 20 69 6e 70 75 74 73 20 66 6f 72 5c s,.adding.additional.inputs.for\
7740 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 2d 7a 69 6e 69 74 5c 6e 22 29 3b 00 09 09 6c 6f n");...log("....-zinit\n");...lo
7760 67 28 22 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 20 20 20 20 77 72 69 74 65 20 41 53 g("\n");...log("........write.AS
7780 43 49 49 20 76 65 72 73 69 6f 6e 20 6f 66 20 41 47 49 45 52 20 66 6f 72 6d 61 74 5c 6e 22 29 3b CII.version.of.AGIER.format\n");
77a0 00 09 09 6c 6f 67 28 22 20 20 20 20 2d 61 73 63 69 69 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 5c ...log("....-ascii\n");...log("\
77c0 6e 22 29 3b 00 09 09 6c 6f 67 28 22 61 6c 6c 20 75 6e 73 75 70 70 6f 72 74 65 64 20 63 65 6c 6c n");...log("all.unsupported.cell
77e0 73 20 77 69 6c 6c 20 62 65 20 63 6f 6e 76 65 72 74 65 64 20 69 6e 74 6f 20 70 73 75 65 64 6f 2d s.will.be.converted.into.psuedo-
7800 69 6e 70 75 74 73 20 61 6e 64 20 70 73 65 75 64 6f 2d 6f 75 74 70 75 74 73 2e 5c 6e 22 29 3b 00 inputs.and.pseudo-outputs.\n");.
7820 09 09 6c 6f 67 28 22 57 72 69 74 65 20 74 68 65 20 63 75 72 72 65 6e 74 20 64 65 73 69 67 6e 20 ..log("Write.the.current.design.
7840 74 6f 20 61 6e 20 58 41 49 47 45 52 20 66 69 6c 65 2e 20 54 68 65 20 64 65 73 69 67 6e 20 6d 75 to.an.XAIGER.file..The.design.mu
7860 73 74 20 62 65 20 66 6c 61 74 74 65 6e 65 64 20 61 6e 64 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 st.be.flattened.and\n");...log("
7880 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 20 20 20 20 77 72 69 74 65 5f 78 61 69 67 65 72 20 5b 6f \n");...log("....write_xaiger.[o
78a0 70 74 69 6f 6e 73 5d 20 5b 66 69 6c 65 6e 61 6d 65 5d 5c 6e 22 29 3b 00 09 09 6c 6f 67 28 22 5c ptions].[filename]\n");...log("\
78c0 6e 22 29 3b 00 09 09 2f 2f 20 20 20 7c 2d 2d 2d 76 2d 2d 2d 7c 2d 2d 2d 76 2d 2d 2d 7c 2d 2d 2d n");...//...|---v---|---v---|---
78e0 76 2d 2d 2d 7c 2d 2d 2d 76 2d 2d 2d 7c 2d 2d 2d 76 2d 2d 2d 7c 2d 2d 2d 76 2d 2d 2d 7c 2d 2d 2d v---|---v---|---v---|---v---|---
7900 76 2d 2d 2d 7c 2d 2d 2d 76 2d 2d 2d 7c 2d 2d 2d 76 2d 2d 2d 7c 2d 2d 2d 76 2d 2d 2d 7c 00 09 7b v---|---v---|---v---|---v---|..{
7920 00 09 76 6f 69 64 20 68 65 6c 70 28 29 20 59 53 5f 4f 56 45 52 52 49 44 45 00 09 58 41 69 67 65 ..void.help().YS_OVERRIDE..XAige
7940 72 42 61 63 6b 65 6e 64 28 29 20 3a 20 42 61 63 6b 65 6e 64 28 22 78 61 69 67 65 72 22 2c 20 22 rBackend().:.Backend("xaiger",."
7960 77 72 69 74 65 20 64 65 73 69 67 6e 20 74 6f 20 58 41 49 47 45 52 20 66 69 6c 65 22 29 20 7b 20 write.design.to.XAIGER.file").{.
7980 7d 00 73 74 72 75 63 74 20 58 41 69 67 65 72 42 61 63 6b 65 6e 64 20 3a 20 70 75 62 6c 69 63 20 }.struct.XAigerBackend.:.public.
79a0 42 61 63 6b 65 6e 64 20 7b 00 00 7d 3b 00 09 7d 00 09 09 09 66 20 3c 3c 20 69 74 2e 73 65 63 6f Backend.{..};..}....f.<<.it.seco
79c0 6e 64 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 26 69 74 20 3a 20 77 69 72 65 5f 6c 69 6e 65 73 nd;...for.(auto.&it.:.wire_lines
79e0 29 00 09 09 77 69 72 65 5f 6c 69 6e 65 73 2e 73 6f 72 74 28 29 3b 00 00 09 09 09 66 20 3c 3c 20 )...wire_lines.sort();.....f.<<.
7a00 69 74 2e 73 65 63 6f 6e 64 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 26 69 74 20 3a 20 6c 61 74 it.second;...for.(auto.&it.:.lat
7a20 63 68 5f 6c 69 6e 65 73 29 00 09 09 6c 61 74 63 68 5f 6c 69 6e 65 73 2e 73 6f 72 74 28 29 3b 00 ch_lines)...latch_lines.sort();.
7a40 00 09 09 09 66 20 3c 3c 20 22 6f 75 74 70 75 74 20 30 20 30 20 5f 5f 64 75 6d 6d 79 5f 6f 5f 5f ....f.<<."output.0.0.__dummy_o__
7a60 5c 6e 22 3b 00 09 09 69 66 20 28 6f 6d 6f 64 65 20 26 26 20 6f 75 74 70 75 74 5f 6c 69 6e 65 73 \n";...if.(omode.&&.output_lines
7a80 2e 65 6d 70 74 79 28 29 29 00 09 09 6c 6f 67 5f 61 73 73 65 72 74 28 6f 75 74 70 75 74 5f 6c 69 .empty())...log_assert(output_li
7aa0 6e 65 73 2e 73 69 7a 65 28 29 20 3d 3d 20 6f 75 74 70 75 74 5f 62 69 74 73 2e 73 69 7a 65 28 29 nes.size().==.output_bits.size()
7ac0 20 2b 20 63 6f 5f 62 69 74 73 2e 73 69 7a 65 28 29 29 3b 00 09 09 09 66 20 3c 3c 20 69 74 2e 73 .+.co_bits.size());....f.<<.it.s
7ae0 65 63 6f 6e 64 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 26 69 74 20 3a 20 6f 75 74 70 75 74 5f econd;...for.(auto.&it.:.output_
7b00 6c 69 6e 65 73 29 00 09 09 6f 75 74 70 75 74 5f 6c 69 6e 65 73 2e 73 6f 72 74 28 29 3b 00 00 09 lines)...output_lines.sort();...
7b20 09 09 66 20 3c 3c 20 69 74 2e 73 65 63 6f 6e 64 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 26 69 ..f.<<.it.second;...for.(auto.&i
7b40 74 20 3a 20 69 6e 69 74 5f 6c 69 6e 65 73 29 00 09 09 69 6e 69 74 5f 6c 69 6e 65 73 2e 73 6f 72 t.:.init_lines)...init_lines.sor
7b60 74 28 29 3b 00 00 09 09 6c 6f 67 5f 61 73 73 65 72 74 28 69 6e 70 75 74 5f 6c 69 6e 65 73 2e 73 t();....log_assert(input_lines.s
7b80 69 7a 65 28 29 20 3d 3d 20 69 6e 70 75 74 5f 62 69 74 73 2e 73 69 7a 65 28 29 20 2b 20 63 69 5f ize().==.input_bits.size().+.ci_
7ba0 62 69 74 73 2e 73 69 7a 65 28 29 29 3b 00 09 09 09 66 20 3c 3c 20 69 74 2e 73 65 63 6f 6e 64 3b bits.size());....f.<<.it.second;
7bc0 00 09 09 66 6f 72 20 28 61 75 74 6f 20 26 69 74 20 3a 20 69 6e 70 75 74 5f 6c 69 6e 65 73 29 00 ...for.(auto.&it.:.input_lines).
7be0 09 09 69 6e 70 75 74 5f 6c 69 6e 65 73 2e 73 6f 72 74 28 29 3b 00 00 09 09 7d 00 09 09 09 7d 00 ..input_lines.sort();....}....}.
7c00 09 09 09 09 7d 00 09 09 09 09 09 77 69 72 65 5f 6c 69 6e 65 73 5b 61 5d 20 2b 3d 20 73 74 72 69 ....}......wire_lines[a].+=.stri
7c20 6e 67 66 28 22 77 69 72 65 20 25 64 20 25 64 20 25 73 5c 6e 22 2c 20 61 2c 20 69 2c 20 6c 6f 67 ngf("wire.%d.%d.%s\n",.a,.i,.log
7c40 5f 69 64 28 77 69 72 65 29 29 3b 00 09 09 09 09 09 69 6e 74 20 61 20 3d 20 61 69 67 5f 6d 61 70 _id(wire));......int.a.=.aig_map
7c60 2e 61 74 28 73 69 67 5b 69 5d 29 3b 00 00 09 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 .at(sig[i]);........continue;...
7c80 09 09 09 69 66 20 28 61 69 67 5f 6d 61 70 2e 63 6f 75 6e 74 28 73 69 67 5b 69 5d 29 20 3d 3d 20 ...if.(aig_map.count(sig[i]).==.
7ca0 30 29 00 09 09 09 09 69 66 20 28 76 65 72 62 6f 73 65 5f 6d 61 70 29 20 7b 00 00 09 09 09 09 7d 0).....if.(verbose_map).{......}
7cc0 00 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 09 09 6c 61 74 63 68 5f 6c 69 6e 65 ......continue;.......latch_line
7ce0 73 5b 6c 5d 20 2b 3d 20 73 74 72 69 6e 67 66 28 22 6c 61 74 63 68 20 25 64 20 25 64 20 25 73 5c s[l].+=.stringf("latch.%d.%d.%s\
7d00 6e 22 2c 20 6c 2c 20 69 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 29 3b 00 09 09 09 09 09 65 6c n",.l,.i,.log_id(wire));......el
7d20 73 65 00 09 09 09 09 09 09 6c 61 74 63 68 5f 6c 69 6e 65 73 5b 6c 5d 20 2b 3d 20 73 74 72 69 6e se.......latch_lines[l].+=.strin
7d40 67 66 28 22 69 6e 76 6c 61 74 63 68 20 25 64 20 25 64 20 25 73 5c 6e 22 2c 20 6c 2c 20 69 2c 20 gf("invlatch.%d.%d.%s\n",.l,.i,.
7d60 6c 6f 67 5f 69 64 28 77 69 72 65 29 29 3b 00 09 09 09 09 09 69 66 20 28 7a 69 6e 69 74 5f 6d 6f log_id(wire));......if.(zinit_mo
7d80 64 65 20 26 26 20 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 28 6c 29 20 3d 3d 20 31 29 de.&&.(aig_latchinit.at(l).==.1)
7da0 29 00 09 09 09 09 09 69 6e 74 20 6c 20 3d 20 6f 72 64 65 72 65 64 5f 6c 61 74 63 68 65 73 2e 61 )......int.l.=.ordered_latches.a
7dc0 74 28 73 69 67 5b 69 5d 29 3b 00 09 09 09 09 69 66 20 28 6f 72 64 65 72 65 64 5f 6c 61 74 63 68 t(sig[i]);.....if.(ordered_latch
7de0 65 73 2e 63 6f 75 6e 74 28 73 69 67 5b 69 5d 29 29 20 7b 00 00 09 09 09 09 7d 00 09 09 09 09 09 es.count(sig[i])).{......}......
7e00 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 09 69 6e 69 74 5f 6c 69 6e 65 73 5b 61 5d 20 2b 3d 20 continue;......init_lines[a].+=.
7e20 73 74 72 69 6e 67 66 28 22 69 6e 69 74 20 25 64 20 25 64 20 25 73 5c 6e 22 2c 20 28 61 20 3e 3e stringf("init.%d.%d.%s\n",.(a.>>
7e40 20 31 29 2d 31 2c 20 69 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 29 3b 00 09 09 09 09 09 6c 6f .1)-1,.i,.log_id(wire));......lo
7e60 67 5f 61 73 73 65 72 74 28 28 61 20 26 20 31 29 20 3d 3d 20 30 29 3b 00 09 09 09 09 09 69 6e 74 g_assert((a.&.1).==.0);......int
7e80 20 61 20 3d 20 69 6e 69 74 5f 69 6e 70 75 74 73 2e 61 74 28 73 69 67 5b 69 5d 29 3b 00 09 09 09 .a.=.init_inputs.at(sig[i]);....
7ea0 09 69 66 20 28 69 6e 69 74 5f 69 6e 70 75 74 73 2e 63 6f 75 6e 74 28 73 69 67 5b 69 5d 29 29 20 .if.(init_inputs.count(sig[i])).
7ec0 7b 00 00 09 09 09 09 7d 00 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 09 6f 75 74 {......}......continue;......out
7ee0 70 75 74 5f 6c 69 6e 65 73 5b 6f 5d 20 2b 3d 20 73 74 72 69 6e 67 66 28 22 6f 75 74 70 75 74 20 put_lines[o].+=.stringf("output.
7f00 25 64 20 25 64 20 25 73 5c 6e 22 2c 20 6f 2c 20 69 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 29 %d.%d.%s\n",.o,.i,.log_id(wire))
7f20 3b 00 09 09 09 09 09 69 6e 74 20 6f 20 3d 20 6f 72 64 65 72 65 64 5f 6f 75 74 70 75 74 73 2e 61 ;......int.o.=.ordered_outputs.a
7f40 74 28 62 29 3b 00 09 09 09 09 69 66 20 28 6f 75 74 70 75 74 5f 62 69 74 73 2e 63 6f 75 6e 74 28 t(b);.....if.(output_bits.count(
7f60 62 29 20 7c 7c 20 63 6f 5f 62 69 74 73 2e 63 6f 75 6e 74 28 62 29 29 20 7b 00 00 09 09 09 09 7d b).||.co_bits.count(b)).{......}
7f80 00 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 09 69 6e 70 75 74 5f 6c 69 6e 65 73 ......continue;......input_lines
7fa0 5b 61 5d 20 2b 3d 20 73 74 72 69 6e 67 66 28 22 69 6e 70 75 74 20 25 64 20 25 64 20 25 73 5c 6e [a].+=.stringf("input.%d.%d.%s\n
7fc0 22 2c 20 28 61 20 3e 3e 20 31 29 2d 31 2c 20 69 2c 20 6c 6f 67 5f 69 64 28 77 69 72 65 29 29 3b ",.(a.>>.1)-1,.i,.log_id(wire));
7fe0 00 09 09 09 09 09 6c 6f 67 5f 61 73 73 65 72 74 28 28 61 20 26 20 31 29 20 3d 3d 20 30 29 3b 00 ......log_assert((a.&.1).==.0);.
8000 61 64 00 00 23 00 00 00 77 02 00 00 00 10 00 00 8e 00 00 00 00 00 00 00 e6 0f 00 00 cc 0f 00 00 ad..#...w.......................
8020 cb 0f 00 00 ae 0f 00 00 99 0f 00 00 7e 0f 00 00 7a 0f 00 00 79 0f 00 00 59 0f 00 00 44 0f 00 00 ............~...z...y...Y...D...
8040 29 0f 00 00 25 0f 00 00 24 0f 00 00 ff 0e 00 00 ea 0e 00 00 e6 0e 00 00 e5 0e 00 00 d3 0e 00 00 )...%...$.......................
8060 cf 0e 00 00 b3 0e 00 00 91 0e 00 00 82 0e 00 00 6c 0e 00 00 47 0e 00 00 42 0e 00 00 3e 0e 00 00 ................l...G...B...>...
8080 3d 0e 00 00 22 0e 00 00 0d 0e 00 00 ed 0d 00 00 c5 0d 00 00 9f 0d 00 00 7f 0d 00 00 77 0d 00 00 =...".......................w...
80a0 3b 0d 00 00 37 0d 00 00 36 0d 00 00 fd 0c 00 00 e8 0c 00 00 cb 0c 00 00 ac 0c 00 00 a8 0c 00 00 ;...7...6.......................
80c0 a7 0c 00 00 95 0c 00 00 91 0c 00 00 77 0c 00 00 72 0c 00 00 4b 0c 00 00 4a 0c 00 00 28 0c 00 00 ............w...r...K...J...(...
80e0 0b 0c 00 00 0a 0c 00 00 e8 0b 00 00 e2 0b 00 00 a0 0b 00 00 5b 0b 00 00 19 0b 00 00 13 0b 00 00 ....................[...........
8100 0e 0b 00 00 0a 0b 00 00 09 0b 00 00 ee 0a 00 00 cf 0a 00 00 a9 0a 00 00 7a 0a 00 00 58 0a 00 00 ........................z...X...
8120 50 0a 00 00 32 0a 00 00 2e 0a 00 00 2d 0a 00 00 f6 09 00 00 d9 09 00 00 d8 09 00 00 bb 09 00 00 P...2.......-...................
8140 af 09 00 00 8c 09 00 00 64 09 00 00 60 09 00 00 5f 09 00 00 3e 09 00 00 32 09 00 00 0f 09 00 00 ........d...`..._...>...2.......
8160 e7 08 00 00 e3 08 00 00 e2 08 00 00 a9 08 00 00 9d 08 00 00 80 08 00 00 7c 08 00 00 7b 08 00 00 ........................|...{...
8180 6c 08 00 00 5e 08 00 00 41 08 00 00 3d 08 00 00 3a 08 00 00 39 08 00 00 e1 07 00 00 de 07 00 00 l...^...A...=...:...9...........
81a0 c7 07 00 00 ad 07 00 00 91 07 00 00 90 07 00 00 62 07 00 00 35 07 00 00 06 07 00 00 d5 06 00 00 ................b...5...........
81c0 d4 06 00 00 70 06 00 00 5a 06 00 00 59 06 00 00 47 06 00 00 43 06 00 00 20 06 00 00 ff 05 00 00 ....p...Z...Y...G...C...........
81e0 fe 05 00 00 d9 05 00 00 a9 05 00 00 69 05 00 00 42 05 00 00 00 05 00 00 d9 04 00 00 87 04 00 00 ............i...B...............
8200 82 04 00 00 81 04 00 00 5c 04 00 00 2f 04 00 00 2e 04 00 00 02 04 00 00 e9 03 00 00 e8 03 00 00 ........\.../...................
8220 bc 03 00 00 8f 03 00 00 8e 03 00 00 60 03 00 00 33 03 00 00 32 03 00 00 0f 03 00 00 ab 02 00 00 ............`...3...2...........
8240 a7 02 00 00 a0 02 00 00 9c 02 00 00 77 02 00 00 76 02 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ............w...v...............
8260 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 09 09 09 66 6f 72 20 28 69 ..........................for.(i
8280 6e 74 20 69 20 3d 20 30 3b 20 69 20 3c 20 61 69 67 5f 6c 3b 20 69 2b 2b 29 20 7b 00 09 09 7b 00 nt.i.=.0;.i.<.aig_l;.i++).{...{.
82a0 09 09 65 6c 73 65 00 09 09 7d 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 20 ..else...}.....f.<<.stringf("%d.
82c0 25 64 20 25 64 5c 6e 22 2c 20 32 2a 28 61 69 67 5f 69 2b 61 69 67 5f 6c 2b 69 29 2b 32 2c 20 61 %d.%d\n",.2*(aig_i+aig_l+i)+2,.a
82e0 69 67 5f 67 61 74 65 73 2e 61 74 28 69 29 2e 66 69 72 73 74 2c 20 61 69 67 5f 67 61 74 65 73 2e ig_gates.at(i).first,.aig_gates.
8300 61 74 28 69 29 2e 73 65 63 6f 6e 64 29 3b 00 09 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 30 at(i).second);....for.(int.i.=.0
8320 3b 20 69 20 3c 20 61 69 67 5f 61 3b 20 69 2b 2b 29 00 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 ;.i.<.aig_a;.i++)......f.<<.stri
8340 6e 67 66 28 22 25 64 5c 6e 22 2c 20 61 69 67 5f 6f 75 74 70 75 74 73 2e 61 74 28 69 29 29 3b 00 ngf("%d\n",.aig_outputs.at(i));.
8360 09 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 61 69 67 5f 6f 62 63 6a 3b 20 69 20 3c 20 61 69 ...for.(int.i.=.aig_obcj;.i.<.ai
8380 67 5f 6f 62 63 6a 66 3b 20 69 2b 2b 29 00 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 g_obcjf;.i++)......f.<<.stringf(
83a0 22 25 64 5c 6e 22 2c 20 61 69 67 5f 6f 75 74 70 75 74 73 2e 61 74 28 69 29 29 3b 00 09 09 09 66 "%d\n",.aig_outputs.at(i));....f
83c0 6f 72 20 28 69 6e 74 20 69 20 3d 20 61 69 67 5f 6f 62 63 3b 20 69 20 3c 20 61 69 67 5f 6f 62 63 or.(int.i.=.aig_obc;.i.<.aig_obc
83e0 6a 3b 20 69 2b 2b 29 00 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 31 5c 6e 22 29 j;.i++)......f.<<.stringf("1\n")
8400 3b 00 09 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 61 69 67 5f 6f 62 63 3b 20 69 20 3c 20 61 ;....for.(int.i.=.aig_obc;.i.<.a
8420 69 67 5f 6f 62 63 6a 3b 20 69 2b 2b 29 00 00 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 ig_obcj;.i++)......f.<<.stringf(
8440 22 25 64 5c 6e 22 2c 20 61 69 67 5f 6f 75 74 70 75 74 73 2e 61 74 28 69 29 29 3b 00 09 09 09 66 "%d\n",.aig_outputs.at(i));....f
8460 6f 72 20 28 69 6e 74 20 69 20 3d 20 30 3b 20 69 20 3c 20 61 69 67 5f 6f 62 63 3b 20 69 2b 2b 29 or.(int.i.=.0;.i.<.aig_obc;.i++)
8480 00 00 09 09 09 7d 00 09 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 20 25 64 20 .....}......f.<<.stringf("%d.%d.
84a0 25 64 5c 6e 22 2c 20 32 2a 28 61 69 67 5f 69 2b 69 29 2b 32 2c 20 61 69 67 5f 6c 61 74 63 68 69 %d\n",.2*(aig_i+i)+2,.aig_latchi
84c0 6e 2e 61 74 28 69 29 2c 20 32 2a 28 61 69 67 5f 69 2b 69 29 2b 32 29 3b 00 09 09 09 09 65 6c 73 n.at(i),.2*(aig_i+i)+2);.....els
84e0 65 20 69 66 20 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 28 69 29 20 3d 3d 20 32 29 00 e.if.(aig_latchinit.at(i).==.2).
8500 09 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 20 25 64 20 31 5c 6e 22 2c 20 32 .....f.<<.stringf("%d.%d.1\n",.2
8520 2a 28 61 69 67 5f 69 2b 69 29 2b 32 2c 20 61 69 67 5f 6c 61 74 63 68 69 6e 2e 61 74 28 69 29 29 *(aig_i+i)+2,.aig_latchin.at(i))
8540 3b 00 09 09 09 09 65 6c 73 65 20 69 66 20 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 28 ;.....else.if.(aig_latchinit.at(
8560 69 29 20 3d 3d 20 31 29 00 09 09 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 20 25 i).==.1)......f.<<.stringf("%d.%
8580 64 5c 6e 22 2c 20 32 2a 28 61 69 67 5f 69 2b 69 29 2b 32 2c 20 61 69 67 5f 6c 61 74 63 68 69 6e d\n",.2*(aig_i+i)+2,.aig_latchin
85a0 2e 61 74 28 69 29 29 3b 00 09 09 09 09 69 66 20 28 7a 69 6e 69 74 5f 6d 6f 64 65 20 7c 7c 20 61 .at(i));.....if.(zinit_mode.||.a
85c0 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 28 69 29 20 3d 3d 20 30 29 00 09 09 09 66 6f 72 20 ig_latchinit.at(i).==.0)....for.
85e0 28 69 6e 74 20 69 20 3d 20 30 3b 20 69 20 3c 20 61 69 67 5f 6c 3b 20 69 2b 2b 29 20 7b 00 00 09 (int.i.=.0;.i.<.aig_l;.i++).{...
8600 09 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 25 64 5c 6e 22 2c 20 32 2a 69 2b 32 29 3b 00 ...f.<<.stringf("%d\n",.2*i+2);.
8620 09 09 09 66 6f 72 20 28 69 6e 74 20 69 20 3d 20 30 3b 20 69 20 3c 20 61 69 67 5f 69 3b 20 69 2b ...for.(int.i.=.0;.i.<.aig_i;.i+
8640 2b 29 00 09 09 7b 00 09 09 69 66 20 28 61 73 63 69 69 5f 6d 6f 64 65 29 00 00 09 09 66 20 3c 3c +)...{...if.(ascii_mode)....f.<<
8660 20 73 74 72 69 6e 67 66 28 22 5c 6e 22 29 3b 00 09 09 66 20 3c 3c 20 73 74 72 69 6e 67 66 28 22 .stringf("\n");...f.<<.stringf("
8680 25 73 20 25 64 20 25 64 20 25 64 20 25 64 20 25 64 22 2c 20 61 73 63 69 69 5f 6d 6f 64 65 20 3f %s.%d.%d.%d.%d.%d",.ascii_mode.?
86a0 20 22 61 61 67 22 20 3a 20 22 61 69 67 22 2c 20 61 69 67 5f 6d 2c 20 61 69 67 5f 69 2c 20 61 69 ."aag".:."aig",.aig_m,.aig_i,.ai
86c0 67 5f 6c 2c 20 61 69 67 5f 6f 2c 20 61 69 67 5f 61 29 3b 00 00 09 09 6c 6f 67 5f 61 73 73 65 72 g_l,.aig_o,.aig_a);....log_asser
86e0 74 28 61 69 67 5f 6f 62 63 6a 66 20 3d 3d 20 47 65 74 53 69 7a 65 28 61 69 67 5f 6f 75 74 70 75 t(aig_obcjf.==.GetSize(aig_outpu
8700 74 73 29 29 3b 00 09 09 6c 6f 67 5f 61 73 73 65 72 74 28 61 69 67 5f 6c 20 3d 3d 20 47 65 74 53 ts));...log_assert(aig_l.==.GetS
8720 69 7a 65 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 29 29 3b 00 09 09 6c 6f 67 5f 61 73 73 65 72 ize(aig_latchinit));...log_asser
8740 74 28 61 69 67 5f 6c 20 3d 3d 20 47 65 74 53 69 7a 65 28 61 69 67 5f 6c 61 74 63 68 69 6e 29 29 t(aig_l.==.GetSize(aig_latchin))
8760 3b 00 09 09 6c 6f 67 5f 61 73 73 65 72 74 28 61 69 67 5f 6d 20 3d 3d 20 61 69 67 5f 69 20 2b 20 ;...log_assert(aig_m.==.aig_i.+.
8780 61 69 67 5f 6c 20 2b 20 61 69 67 5f 61 29 3b 00 00 09 09 69 6e 74 20 61 69 67 5f 6f 62 63 6a 66 aig_l.+.aig_a);....int.aig_obcjf
87a0 20 3d 20 61 69 67 5f 6f 62 63 6a 3b 00 09 09 69 6e 74 20 61 69 67 5f 6f 62 63 6a 20 3d 20 61 69 .=.aig_obcj;...int.aig_obcj.=.ai
87c0 67 5f 6f 62 63 3b 00 09 09 69 6e 74 20 61 69 67 5f 6f 62 63 20 3d 20 61 69 67 5f 6f 3b 00 09 7b g_obc;...int.aig_obc.=.aig_o;..{
87e0 00 09 76 6f 69 64 20 77 72 69 74 65 5f 61 69 67 65 72 28 73 74 64 3a 3a 6f 73 74 72 65 61 6d 20 ..void.write_aiger(std::ostream.
8800 26 66 2c 20 62 6f 6f 6c 20 61 73 63 69 69 5f 6d 6f 64 65 2c 20 62 6f 6f 6c 20 6d 69 74 65 72 5f &f,.bool.ascii_mode,.bool.miter_
8820 6d 6f 64 65 2c 20 62 6f 6f 6c 20 73 79 6d 62 6f 6c 73 5f 6d 6f 64 65 29 00 00 09 7d 00 09 09 7d mode,.bool.symbols_mode)...}...}
8840 00 09 09 09 61 69 67 5f 6f 75 74 70 75 74 73 2e 70 75 73 68 5f 62 61 63 6b 28 30 29 3b 00 09 09 ....aig_outputs.push_back(0);...
8860 09 2f 2f 61 69 67 5f 62 2b 2b 3b 00 09 09 69 66 20 28 62 6d 6f 64 65 29 20 7b 00 00 09 09 7d 00 .//aig_b++;...if.(bmode).{....}.
8880 09 09 09 61 69 67 5f 6f 75 74 70 75 74 73 2e 70 75 73 68 5f 62 61 63 6b 28 30 29 3b 00 09 09 09 ...aig_outputs.push_back(0);....
88a0 61 69 67 5f 6f 2b 2b 3b 00 09 09 69 66 20 28 6f 6d 6f 64 65 20 26 26 20 6f 75 74 70 75 74 5f 62 aig_o++;...if.(omode.&&.output_b
88c0 69 74 73 2e 65 6d 70 74 79 28 29 20 26 26 20 63 6f 5f 62 69 74 73 2e 65 6d 70 74 79 28 29 29 20 its.empty().&&.co_bits.empty()).
88e0 7b 00 00 09 09 7d 00 09 09 09 61 69 67 5f 6f 75 74 70 75 74 73 2e 70 75 73 68 5f 62 61 63 6b 28 {....}....aig_outputs.push_back(
8900 62 69 74 32 61 69 67 28 62 69 74 29 29 3b 00 09 09 09 6f 72 64 65 72 65 64 5f 6f 75 74 70 75 74 bit2aig(bit));....ordered_output
8920 73 5b 62 69 74 5d 20 3d 20 61 69 67 5f 6f 2d 31 3b 00 09 09 09 61 69 67 5f 6f 2b 2b 3b 00 09 09 s[bit].=.aig_o-1;....aig_o++;...
8940 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 6f 75 74 70 75 74 5f 62 69 74 73 29 20 7b 00 00 for.(auto.bit.:.output_bits).{..
8960 09 09 7d 00 09 09 09 61 69 67 5f 6f 75 74 70 75 74 73 2e 70 75 73 68 5f 62 61 63 6b 28 62 69 74 ..}....aig_outputs.push_back(bit
8980 32 61 69 67 28 62 69 74 29 29 3b 00 09 09 09 6f 72 64 65 72 65 64 5f 6f 75 74 70 75 74 73 5b 62 2aig(bit));....ordered_outputs[b
89a0 69 74 5d 20 3d 20 61 69 67 5f 6f 2d 31 3b 00 09 09 09 61 69 67 5f 6f 2b 2b 3b 00 09 09 66 6f 72 it].=.aig_o-1;....aig_o++;...for
89c0 20 28 61 75 74 6f 20 62 69 74 20 3a 20 63 6f 5f 62 69 74 73 29 20 7b 00 00 09 09 09 61 69 67 5f .(auto.bit.:.co_bits).{.....aig_
89e0 6c 61 74 63 68 69 6e 2e 70 75 73 68 5f 62 61 63 6b 28 31 29 3b 00 09 09 69 66 20 28 21 69 6e 69 latchin.push_back(1);...if.(!ini
8a00 74 73 74 61 74 65 5f 62 69 74 73 2e 65 6d 70 74 79 28 29 20 7c 7c 20 21 69 6e 69 74 5f 69 6e 70 tstate_bits.empty().||.!init_inp
8a20 75 74 73 2e 65 6d 70 74 79 28 29 29 00 00 09 09 7d 00 09 09 09 09 61 69 67 5f 6c 61 74 63 68 69 uts.empty())....}.....aig_latchi
8a40 6e 2e 70 75 73 68 5f 62 61 63 6b 28 61 29 3b 00 09 09 09 65 6c 73 65 00 09 09 09 09 61 69 67 5f n.push_back(a);....else.....aig_
8a60 6c 61 74 63 68 69 6e 2e 70 75 73 68 5f 62 61 63 6b 28 61 20 5e 20 31 29 3b 00 09 09 09 69 66 20 latchin.push_back(a.^.1);....if.
8a80 28 7a 69 6e 69 74 5f 6d 6f 64 65 20 26 26 20 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 28 (zinit_mode.&&.aig_latchinit.at(
8aa0 6c 29 20 3d 3d 20 31 29 00 09 09 09 69 6e 74 20 6c 20 3d 20 6f 72 64 65 72 65 64 5f 6c 61 74 63 l).==.1)....int.l.=.ordered_latc
8ac0 68 65 73 5b 69 74 2e 66 69 72 73 74 5d 3b 00 09 09 09 69 6e 74 20 61 20 3d 20 62 69 74 32 61 69 hes[it.first];....int.a.=.bit2ai
8ae0 67 28 69 74 2e 73 65 63 6f 6e 64 29 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 69 74 20 3a 20 66 g(it.second);...for.(auto.it.:.f
8b00 66 5f 6d 61 70 29 20 7b 00 00 09 09 7d 00 09 09 09 7d 00 09 09 09 09 7d 00 09 09 09 09 09 61 69 f_map).{....}....}.....}......ai
8b20 67 5f 6d 61 70 5b 69 74 2e 66 69 72 73 74 5d 20 3d 20 6d 6b 67 61 74 65 28 67 61 74 65 64 5f 66 g_map[it.first].=.mkgate(gated_f
8b40 66 6f 75 74 5e 31 2c 20 67 61 74 65 64 5f 69 6e 69 74 69 6e 5e 31 29 5e 31 3b 00 09 09 09 09 09 fout^1,.gated_initin^1)^1;......
8b60 69 6e 74 20 67 61 74 65 64 5f 69 6e 69 74 69 6e 20 3d 20 6d 6b 67 61 74 65 28 69 6e 69 74 5f 69 int.gated_initin.=.mkgate(init_i
8b80 6e 70 75 74 73 5b 69 74 2e 66 69 72 73 74 5d 2c 20 69 6e 69 74 73 74 61 74 65 5f 66 66 29 3b 00 nputs[it.first],.initstate_ff);.
8ba0 09 09 09 09 09 69 6e 74 20 67 61 74 65 64 5f 66 66 6f 75 74 20 3d 20 6d 6b 67 61 74 65 28 61 69 .....int.gated_ffout.=.mkgate(ai
8bc0 67 5f 6d 61 70 5b 69 74 2e 66 69 72 73 74 5d 2c 20 69 6e 69 74 73 74 61 74 65 5f 66 66 5e 31 29 g_map[it.first],.initstate_ff^1)
8be0 3b 00 09 09 09 09 7b 00 09 09 09 09 69 66 20 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 ;.....{.....if.(aig_latchinit.at
8c00 28 6c 29 20 3d 3d 20 32 29 00 00 09 09 09 09 09 61 69 67 5f 6d 61 70 5b 69 74 2e 66 69 72 73 74 (l).==.2).......aig_map[it.first
8c20 5d 20 5e 3d 20 31 3b 00 09 09 09 09 69 66 20 28 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 61 74 ].^=.1;.....if.(aig_latchinit.at
8c40 28 6c 29 20 3d 3d 20 31 29 00 00 09 09 09 09 69 6e 74 20 6c 20 3d 20 6f 72 64 65 72 65 64 5f 6c (l).==.1)......int.l.=.ordered_l
8c60 61 74 63 68 65 73 5b 69 74 2e 66 69 72 73 74 5d 3b 00 09 09 09 7b 00 09 09 09 66 6f 72 20 28 61 atches[it.first];....{....for.(a
8c80 75 74 6f 20 69 74 20 3a 20 66 66 5f 6d 61 70 29 00 09 09 7b 00 09 09 69 66 20 28 7a 69 6e 69 74 uto.it.:.ff_map)...{...if.(zinit
8ca0 5f 6d 6f 64 65 29 00 00 09 09 7d 00 09 09 09 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 70 75 73 _mode)....}....aig_latchinit.pus
8cc0 68 5f 62 61 63 6b 28 30 29 3b 00 09 09 09 69 6e 69 74 73 74 61 74 65 5f 66 66 20 3d 20 32 2a 61 h_back(0);....initstate_ff.=.2*a
8ce0 69 67 5f 6d 2b 31 3b 00 09 09 09 61 69 67 5f 6d 2b 2b 2c 20 61 69 67 5f 6c 2b 2b 3b 00 09 09 69 ig_m+1;....aig_m++,.aig_l++;...i
8d00 66 20 28 21 69 6e 69 74 73 74 61 74 65 5f 62 69 74 73 2e 65 6d 70 74 79 28 29 20 7c 7c 20 21 69 f.(!initstate_bits.empty().||.!i
8d20 6e 69 74 5f 69 6e 70 75 74 73 2e 65 6d 70 74 79 28 29 29 20 7b 00 00 09 09 7d 00 09 09 09 09 61 nit_inputs.empty()).{....}.....a
8d40 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 70 75 73 68 5f 62 61 63 6b 28 69 6e 69 74 5f 6d 61 70 2e ig_latchinit.push_back(init_map.
8d60 61 74 28 69 74 2e 66 69 72 73 74 29 20 3f 20 31 20 3a 20 30 29 3b 00 09 09 09 65 6c 73 65 00 09 at(it.first).?.1.:.0);....else..
8d80 09 09 09 61 69 67 5f 6c 61 74 63 68 69 6e 69 74 2e 70 75 73 68 5f 62 61 63 6b 28 32 29 3b 00 09 ...aig_latchinit.push_back(2);..
8da0 09 09 69 66 20 28 69 6e 69 74 5f 6d 61 70 2e 63 6f 75 6e 74 28 69 74 2e 66 69 72 73 74 29 20 3d ..if.(init_map.count(it.first).=
8dc0 3d 20 30 29 00 09 09 09 6f 72 64 65 72 65 64 5f 6c 61 74 63 68 65 73 5b 69 74 2e 66 69 72 73 74 =.0)....ordered_latches[it.first
8de0 5d 20 3d 20 61 69 67 5f 6c 2d 31 3b 00 09 09 09 61 69 67 5f 6d 61 70 5b 69 74 2e 66 69 72 73 74 ].=.aig_l-1;....aig_map[it.first
8e00 5d 20 3d 20 32 2a 61 69 67 5f 6d 3b 00 09 09 09 61 69 67 5f 6d 2b 2b 2c 20 61 69 67 5f 6c 2b 2b ].=.2*aig_m;....aig_m++,.aig_l++
8e20 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 69 74 20 3a 20 66 66 5f 6d 61 70 29 20 7b 00 00 09 09 ;...for.(auto.it.:.ff_map).{....
8e40 7d 00 09 09 09 7d 00 09 09 09 09 69 6e 69 74 5f 69 6e 70 75 74 73 5b 69 74 2e 66 69 72 73 74 5d }....}.....init_inputs[it.first]
8e60 20 3d 20 32 2a 61 69 67 5f 6d 3b 00 09 09 09 09 61 69 67 5f 6d 2b 2b 2c 20 61 69 67 5f 69 2b 2b .=.2*aig_m;.....aig_m++,.aig_i++
8e80 3b 00 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 00 09 09 09 09 69 66 20 28 69 6e 69 74 5f 6d 61 ;......continue;.....if.(init_ma
8ea0 70 2e 63 6f 75 6e 74 28 69 74 2e 66 69 72 73 74 29 29 00 09 09 09 66 6f 72 20 28 61 75 74 6f 20 p.count(it.first))....for.(auto.
8ec0 69 74 20 3a 20 66 66 5f 6d 61 70 29 20 7b 00 09 09 7b 00 09 09 69 66 20 28 7a 69 6e 69 74 5f 6d it.:.ff_map).{...{...if.(zinit_m
8ee0 6f 64 65 29 00 00 09 09 7d 00 09 09 09 61 69 67 5f 6d 2b 2b 2c 20 61 69 67 5f 69 2b 2b 3b 00 09 ode)....}....aig_m++,.aig_i++;..
8f00 09 69 66 20 28 69 6d 6f 64 65 20 26 26 20 69 6e 70 75 74 5f 62 69 74 73 2e 65 6d 70 74 79 28 29 .if.(imode.&&.input_bits.empty()
8f20 29 20 7b 00 00 09 09 7d 00 09 09 09 61 69 67 5f 6d 61 70 5b 62 69 74 5d 20 3d 20 32 2a 61 69 67 ).{....}....aig_map[bit].=.2*aig
8f40 5f 6d 3b 00 09 09 09 61 69 67 5f 6d 2b 2b 2c 20 61 69 67 5f 69 2b 2b 3b 00 09 09 66 6f 72 20 28 _m;....aig_m++,.aig_i++;...for.(
8f60 61 75 74 6f 20 62 69 74 20 3a 20 69 6e 70 75 74 5f 62 69 74 73 29 20 7b 00 00 09 09 7d 00 09 09 auto.bit.:.input_bits).{....}...
8f80 09 61 69 67 5f 6d 61 70 5b 62 69 74 5d 20 3d 20 32 2a 61 69 67 5f 6d 3b 00 09 09 09 61 69 67 5f .aig_map[bit].=.2*aig_m;....aig_
8fa0 6d 2b 2b 2c 20 61 69 67 5f 69 2b 2b 3b 00 09 09 66 6f 72 20 28 61 75 74 6f 20 62 69 74 20 3a 20 m++,.aig_i++;...for.(auto.bit.:.
8fc0 63 69 5f 62 69 74 73 29 20 7b 00 00 09 09 61 69 67 5f 6d 61 70 5b 53 74 61 74 65 3a 3a 53 31 5d ci_bits).{....aig_map[State::S1]
8fe0 20 3d 20 31 3b 00 09 09 61 69 67 5f 6d 61 70 5b 53 74 61 74 65 3a 3a 53 30 5d 20 3d 20 30 3b 00 .=.1;...aig_map[State::S0].=.0;.
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-27 08:59:42 +0000