# Benchmark "clock_crossing_fifo" written by ABC on Thu Apr 14 18:16:52 2016
.model clock_crossing_fifo
.inputs pi00 pi01 pi02 pi03 pi04 pi05 pi06 pi07 pi08 pi09 pi10 pi11 pi12 \
 pi13 pi14 pi15 pi16 pi17 pi18 pi19
.outputs po00 po01 po02 po03 po04 po05 po06 po07 po08 po09 po10 po11 po12 \
 po13 po14 po15 po16 po17

.latch        li0        lo0  1

.names po01
 0
.names po02
 0
.names po03
 0
.names po04
 0
.names po05
 0
.names po06
 0
.names po07
 0
.names po08
 0
.names po09
 0
.names po10
 0
.names po11
 0
.names po12
 0
.names po13
 0
.names po14
 0
.names po15
 0
.names po16
 0
.names n57
 0
.names n58
 0
.names n59
 1
.names n57 po00
0 1
.names n58 n62
0 1
.names lo0 n63
0 1
.names n63 pi19 n64
01 1
10 1
11 1
.names n62 n64 n65
11 1
.names lo0 n68 pi19 n66
1-0 1
-11 1
.names n66 n59 n65 li0
1-0 1
-11 1
.names n68
 0
.names lo0 po17
1 1
.end
