repo.or.cz
/
cl-cudd.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
emergency commit
[cl-cudd.git]
/
distr
/
nanotrav
/
s27.blif
blob
42861a8ea28ded3ecd508a0611b358d54185c974
1
.model s27.bench
2
.inputs G0 G1 G2 G3
3
.outputs G17
4
.latch G10 G5 0
5
.latch G11 G6 0
6
.latch G13 G7 0
7
.names G11 G17
8
0 1
9
.names G14 G11 G10
10
00 1
11
.names G5 G9 G11
12
00 1
13
.names G2 G12 G13
14
00 1
15
.names G0 G14
16
0 1
17
.names G14 G6 G8
18
11 1
19
.names G1 G7 G12
20
00 1
21
.names G12 G8 G15
22
1- 1
23
-1 1
24
.names G3 G8 G16
25
1- 1
26
-1 1
27
.names G16 G15 G9
28
0- 1
29
-0 1
30
.end