s1488.bench.txt

好不容易才从国外网站上下下来的哦

# 8 inputs
# 19 outputs
# 6 D-type flipflops
# 103 inverters
# 550 gates (350 ANDs + 0 NANDs + 200 ORs + 0 NORs)

INPUT(CLR)
INPUT(v6)
INPUT(v5)
INPUT(v4)
INPUT(v3)
INPUT(v2)
INPUT(v1)
INPUT(v0)

OUTPUT(v13_D_20)
OUTPUT(v13_D_21)
OUTPUT(v13_D_16)
OUTPUT(v13_D_22)
OUTPUT(v13_D_19)
OUTPUT(v13_D_18)
OUTPUT(v13_D_11)
OUTPUT(v13_D_23)
OUTPUT(v13_D_6)
OUTPUT(v13_D_15)
OUTPUT(v13_D_9)
OUTPUT(v13_D_10)
OUTPUT(v13_D_8)
OUTPUT(v13_D_24)
OUTPUT(v13_D_14)
OUTPUT(v13_D_7)
OUTPUT(v13_D_17)
OUTPUT(v13_D_12)
OUTPUT(v13_D_13)

v12 = DFF(v13_D_5C)
v11 = DFF(v13_D_4C)
v10 = DFF(v13_D_3C)
v9 = DFF(v13_D_2C)
v8 = DFF(v13_D_1C)
v7 = DFF(v13_D_0C)

v0E = NOT(v0)
v1E = NOT(v1)
v2E = NOT(v2)
v3E = NOT(v3)
v4E = NOT(v4)
v5E = NOT(v5)
v6E = NOT(v6)
v7E = NOT(v7)
v8E = NOT(v8)
v9E = NOT(v9)
v10E = NOT(v10)
v11E = NOT(v11)
v12E = NOT(v12)
C208DE = NOT(C208D)
I101 = NOT(v9)
I518 = NOT(I101)
C129DE = NOT(C129D)
I114 = NOT(v2)
C193D = NOT(I114)
C124DE = NOT(C124D)
I143 = NOT(v10E)
I393 = NOT(I143)
C108DE = NOT(C108D)
C81DE = NOT(C81D)
C83DE = NOT(C83D)
I159 = NOT(C83D)
I344 = NOT(I159)
C166DE = NOT(C166D)
C104DE = NOT(C104D)
C218DE = NOT(C218D)
C131DE = NOT(C131D)
C165DE = NOT(C165D)
C220DE = NOT(C220D)
C117DE = NOT(C117D)
C194DE = NOT(C194D)
C191DE = NOT(C191D)
C141DE = NOT(C141D)
C118DE = NOT(C118D)
C70DE = NOT(C70D)
C30DE = NOT(C30D)
C144DE = NOT(C144D)
C138DE = NOT(C138D)
C157DE = NOT(C157D)
C90DE = NOT(C90D)
I246 = NOT(v11)
C79D = NOT(I246)
C49DE = NOT(C49D)
I294 = NOT(I352)
C150D = NOT(I294)
I373 = NOT(I194)
C97D = NOT(I373)
C180DE = NOT(C180D)
I662 = NOT(Av13_D_20B)
v13_D_20 = NOT(I662)
I659 = NOT(Av13_D_21B)
C195DE = NOT(C195D)
I674 = NOT(Av13_D_16B)
I656 = NOT(Av13_D_22B)
v13_D_21 = NOT(I659)
I665 = NOT(Av13_D_19B)
v13_D_16 = NOT(I674)
v13_D_22 = NOT(I656)
I668 = NOT(Av13_D_18B)
v13_D_19 = NOT(I665)
I689 = NOT(Av13_D_11B)
I653 = NOT(Av13_D_23B)
I704 = NOT(Av13_D_6B)
v13_D_18 = NOT(I668)
I677 = NOT(Av13_D_15B)
I695 = NOT(Av13_D_9B)
v13_D_11 = NOT(I689)
v13_D_23 = NOT(I653)
I692 = NOT(Av13_D_10B)
v13_D_6 = NOT(I704)
I698 = NOT(Av13_D_8B)
v13_D_15 = NOT(I677)
v13_D_9 = NOT(I695)
I650 = NOT(Av13_D_24B)
v13_D_10 = NOT(I692)
I680 = NOT(Av13_D_14B)
v13_D_8 = NOT(I698)
v13_D_24 = NOT(I650)
I722 = NOT(Av13_D_0B)
I701 = NOT(Av13_D_7B)
I713 = NOT(Av13_D_3B)
I719 = NOT(Av13_D_1B)
I707 = NOT(Av13_D_5B)
I710 = NOT(Av13_D_4B)
v13_D_14 = NOT(I680)
I671 = NOT(Av13_D_17B)
I716 = NOT(Av13_D_2B)
v13_D_0 = NOT(I722)
v13_D_7 = NOT(I701)
v13_D_3 = NOT(I713)
v13_D_1 = NOT(I719)
I686 = NOT(Av13_D_12B)
v13_D_5 = NOT(I707)
v13_D_4 = NOT(I710)
v13_D_17 = NOT(I671)
v13_D_2 = NOT(I716)
v13_D_12 = NOT(I686)
I683 = NOT(Av13_D_13B)
v13_D_13 = NOT(I683)

I533 = AND(v9, v10)
I510 = AND(v9, v10)
I389 = AND(v8, v9, v10)
I559 = AND(v8, v11)
I546 = AND(v0, v11)
I479 = AND(v0, v11)
I380 = AND(v2, v11)
I287 = AND(v9, v11)
I516 = AND(v1, v12)
I520 = AND(v3E, v6E)
I329 = AND(v3, v7E, v10)
I555 = AND(v0, v8E, v11)
I537 = AND(v6E, v7E, v8E, v12)
I489 = AND(v8E, v11)
I461 = AND(v8E, v9, v12)
I427 = AND(v8E, v9, v10)
I254 = AND(v1, v6, v7E, v8E)
I554 = AND(v2E, v8, v9E)
I528 = AND(v9E, v11)
I444 = AND(v3E, v9E)
I442 = AND(v7E, v8E, v9E)
I368 = AND(v7, v8, v9E)
I534 = AND(v8E, v10E)
I471 = AND(v1, v10E, v12)
I464 = AND(v8E, v10E, v11)
I453 = AND(v10E, v12)
I430 = AND(v1E, v9, v10E)
I425 = AND(v8E, v10E)
I167 = AND(v8, v11, C129D)
I547 = AND(v10, v11E)
I524 = AND(v6, v11E)
I142 = AND(v7E, v9, v11E)
I508 = AND(v9E, v11E)
I501 = AND(v8E, v11E)
I492 = AND(v10, v11E)
I409 = AND(v9, v11E)
I357 = AND(v10, v11E)
I317 = AND(v10, v11E)
I170 = AND(v10, v11E)
I352 = AND(v8, C124D)
I336 = AND(C124D, v12)
I560 = AND(v7E, v12E)
I538 = AND(v8, v12E)
I506 = AND(v7E, v9, v10E, v12E)
I476 = AND(v8E, v9, v11E, v12E)
I466 = AND(v8E, v11E, v12E)
I447 = AND(v8E, v9, v10E, v12E)
I417 = AND(v5E, v11E, v12E)
I415 = AND(v8E, v11E, v12E)
I412 = AND(v3, v10E, v12E)
I396 = AND(v10E, v12E)
I372 = AND(C129D, v12E)
I366 = AND(v8E, v9, v11E, v12E)
I333 = AND(v11E, v12E)
I315 = AND(C155D, v12E, C129D)
I251 = AND(v6E, v11E, v12E)
I200 = AND(v12E, C124D)
I189 = AND(v7, v12E)
I291 = AND(C142D, v11)
I392 = AND(C81D, v11E)
I323 = AND(v10E, C127D)
I381 = AND(C166D, v11E)
I321 = AND(C33D, v11E, v12E)
I378 = AND(C218D, v5E, v9, v12E)
I390 = AND(C220D, v10E)
I350 = AND(v11, C117D)
I354 = AND(C191D, v11)
I399 = AND(v8, C141D)
I320 = AND(v11, C141D)
I349 = AND(C118D, v11E)
I318 = AND(v11, C118D)
I486 = AND(v6E, v8E, v12, C129DE)
I152 = AND(v8, v12E, C129DE)
II329 = AND(v9, v12, C30D)
I171 = AND(v8, C193D)
I175 = AND(v9, C144D)
I439 = AND(v6, v12, C124DE)
I403 = AND(v9, v12E, C124DE, I254)
I387 = AND(v8E, v9E, C124DE)
I369 = AND(v9, C124DE)
I328 = AND(v3, v12E, C124DE)
I310 = AND(v6E, v9, v12E, C124DE)
I239 = AND(v9, v12, C124DE)
I642 = AND(v7E, v8E, C124DE)
I332 = AND(C138D, v9E)
I306 = AND(C129DE, C138D)
I395 = AND(C157D, v9E)
I347 = AND(C90D, v10E)
I494 = AND(v8E, v10, C108DE)
I299 = AND(v11E, C108DE)
I43 = AND(v8, v10, C108DE)
I365 = AND(C56D, v8, v11)
I326 = AND(C81DE, C129D)
I500 = AND(v8, v11, C83DE)
I483 = AND(v8E, v9E, v11E, C83DE)
I478 = AND(v10E, C83DE)
I470 = AND(v8, v12E, C83DE)
I468 = AND(v9, C83DE)
I449 = AND(C108DE, C83DE)
I296 = AND(v8E, v9E, C124DE, C83DE)
I269 = AND(v11E, C108DE, C83DE)
I259 = AND(v12E, C129DE, C83DE)
I232 = AND(C165D, C83DE)
I513 = AND(v12E, C166DE, I142)
I194 = AND(v3, v12, C77D)
I356 = AND(C50D, v10E)
I335 = AND(v12E, C218DE)
I495 = AND(v9, v11, C131DE)
I420 = AND(v2E, v7, C131DE)
I460 = AND(v2E, v12E, C165DE)
I435 = AND(v12, C165DE)
I359 = AND(v12E, C165DE)
I338 = AND(C108D, C165DE)
I482 = AND(v2, C220DE)
I452 = AND(v12E, C220DE)
I441 = AND(v11, C220DE)
I498 = AND(v8, C117DE)
I406 = AND(v8, v11, C117DE)
I191 = AND(v8, v11, C117DE)
I186 = AND(v8, v11, C117DE)
I134 = AND(v7E, v10, C151D)
I176 = AND(v10E, C145D)
II497 = AND(v8E, v9E, C194DE)
I405 = AND(v8E, v9E, C194DE)
I463 = AND(C165DE, C191DE)
I346 = AND(v12, C191DE)
I485 = AND(v6, C141DE, C220DE)
I383 = AND(C70D, C141DE)
I219 = AND(C49D, v9)
I398 = AND(v12E, C118DE)
I341 = AND(v11E, C118DE)
I163 = AND(v11E, v12E, C118DE)
I109 = AND(C179D, v2, v8, v11)
I224 = AND(C163D, v8E, v11)
I503 = AND(v9E, C30DE)
I473 = AND(v0E, C30DE)
I456 = AND(v9, C30DE)
I429 = AND(v9E, C30DE)
I419 = AND(v5E, v7E, v8E, C30DE)
I402 = AND(v8, v9E, C30DE)
I386 = AND(v0, C104D, v8, C30DE)
I374 = AND(v9E, C30DE)
I205 = AND(v8E, C30DE)
I342 = AND(C159D, v8E)
I438 = AND(v0, v10, C144DE)
I436 = AND(v8E, v9, C144DE)
I433 = AND(v10, C144DE)
I339 = AND(v8E, C144DE)
I272 = AND(v10E, C144DE)
I247 = AND(v10, C144DE)
I243 = AND(C131D, v9, C144DE)
I229 = AND(v9, v10, C144DE)
I226 = AND(v8E, v10E, C144DE)
I215 = AND(v1, v9, C144DE)
I202 = AND(v9E, C144DE, C83DE, C194DE)
I182 = AND(v8E, v10E, C144DE)
I179 = AND(v9, v10, C144DE)
I161 = AND(C144DE, C191D)
I148 = AND(v9, v10E, C144DE)
I140 = AND(v8E, v10E, C144DE)
I136 = AND(C47D, C144DE)
I75 = AND(C129DE, C144DE)
I111 = AND(C98D, v10E)
I210 = AND(v9, C120D)
I375 = AND(C86D, v10E)
I141 = AND(C170D, v8)
I79 = AND(v8, C170D)
I31 = AND(C108DE, C83DE, I642)
I514 = AND(v2, v7, v9E, C138DE)
I505 = AND(v7, v8, C138DE, C191DE)
II491 = AND(v10E, C138DE)
I475 = AND(v2E, v8, C138DE)
I450 = AND(v3, v8, C138DE, C104DE)
I414 = AND(v6, C138DE)
I384 = AND(v10E, C138DE)
I362 = AND(v8, C138DE)
Av13_D_20B = AND(C138DE, C220DE, C104D, I329)
I293 = AND(C138DE, C118DE, I368)
I278 = AND(v10E, C138DE)
I256 = AND(v9, v10, C138DE)
I253 = AND(v1E, v10E, C138DE)
I250 = AND(C77D, v3, C138DE)
I151 = AND(v9, C138DE)
I363 = AND(v1E, C178D)
I423 = AND(v3E, C157DE)
I302 = AND(v11E, C157DE)
I284 = AND(v11E, C157DE)
I131 = AND(v9, v11E, C157DE)
I64 = AND(v11E, C157DE)
I360 = AND(v3E, C59D)
I457 = AND(v6, C124DE, C90DE)
I446 = AND(v11E, C90DE)
I432 = AND(v7, C90DE)
I377 = AND(v7, v10, C90DE)
I371 = AND(v10E, C90DE)
II368 = AND(C30D, C90DE)
I325 = AND(v10, C90DE)
I314 = AND(v10, C90DE)
I275 = AND(v7, v8, C90DE)
I157 = AND(C82D, v9E)
I308 = AND(C111D, C144DE)
I208 = AND(C122D, v11E)
I234 = AND(v8, C167D)