atpg-ls/benchmark/c17.bench

19 lines
295 B
Plaintext

# generate by dftconverter: https://gitea.yuhangq.com:8/YuhangQ/DFT_Converter
# gates: 11
INPUT(G1)
INPUT(G2)
INPUT(G3)
INPUT(G4)
INPUT(G5)
OUTPUT(G11)
OUTPUT(G10)
G6 = NAND ( G3, G1 )
G7 = NAND ( G4, G3 )
G8 = NAND ( G2, G7 )
G9 = NAND ( G7, G5 )
G10 = NAND ( G6, G8 )
G11 = NAND ( G8, G9 )