# Benchmark "synchronizer" written by ABC on Sat Apr 16 14:13:37 2016
.model synchronizer
.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

.latch       li00       lo00  1
.latch       li01       lo01  1
.latch       li02       lo02  1
.latch       li03       lo03  1
.latch       li04       lo04  1
.latch       li05       lo05  1
.latch       li06       lo06  1
.latch       li07       lo07  1
.latch       li08       lo08  1
.latch       li09       lo09  1
.latch       li10       lo10  1
.latch       li11       lo11  1
.latch       li12       lo12  1
.latch       li13       lo13  1
.latch       li14       lo14  1
.latch       li15       lo15  1
.latch       li16       lo16  1
.latch       li17       lo17  1
.latch       li18       lo18  1
.latch       li19       lo19  1
.latch       li20       lo20  1
.latch       li21       lo21  1
.latch       li22       lo22  1
.latch       li23       lo23  1
.latch       li24       lo24  1
.latch       li25       lo25  1
.latch       li26       lo26  1
.latch       li27       lo27  1
.latch       li28       lo28  1
.latch       li29       lo29  1
.latch       li30       lo30  1
.latch       li31       lo31  1
.latch       li32       lo32  1
.latch       li33       lo33  1
.latch       li34       lo34  1
.latch       li35       lo35  1
.latch       li36       lo36  1
.latch       li37       lo37  1
.latch       li38       lo38  1
.latch       li39       lo39  1
.latch       li40       lo40  1
.latch       li41       lo41  1
.latch       li42       lo42  1
.latch       li43       lo43  1
.latch       li44       lo44  1
.latch       li45       lo45  1
.latch       li46       lo46  1
.latch       li47       lo47  1
.latch       li48       lo48  1
.latch       li49       lo49  1
.latch       li50       lo50  1
.latch       li51       lo51  1
.latch       li52       lo52  1
.latch       li53       lo53  1
.latch       li54       lo54  1
.latch       li55       lo55  1
.latch       li56       lo56  1
.latch       li57       lo57  1
.latch       li58       lo58  1
.latch       li59       lo59  1
.latch       li60       lo60  1
.latch       li61       lo61  1
.latch       li62       lo62  1
.latch       li63       lo63  1

.names lo48 li00
1 1
.names lo49 li01
1 1
.names lo50 li02
1 1
.names lo51 li03
1 1
.names lo52 li04
1 1
.names lo53 li05
1 1
.names lo54 li06
1 1
.names lo55 li07
1 1
.names lo56 li08
1 1
.names lo57 li09
1 1
.names lo58 li10
1 1
.names lo59 li11
1 1
.names lo60 li12
1 1
.names lo61 li13
1 1
.names lo62 li14
1 1
.names lo63 li15
1 1
.names lo00 li16
1 1
.names lo01 li17
1 1
.names lo02 li18
1 1
.names lo03 li19
1 1
.names lo04 li20
1 1
.names lo05 li21
1 1
.names lo06 li22
1 1
.names lo07 li23
1 1
.names lo08 li24
1 1
.names lo09 li25
1 1
.names lo10 li26
1 1
.names lo11 li27
1 1
.names lo12 li28
1 1
.names lo13 li29
1 1
.names lo14 li30
1 1
.names lo15 li31
1 1
.names lo16 li32
1 1
.names lo17 li33
1 1
.names lo18 li34
1 1
.names lo19 li35
1 1
.names lo20 li36
1 1
.names lo21 li37
1 1
.names lo22 li38
1 1
.names lo23 li39
1 1
.names lo24 li40
1 1
.names lo25 li41
1 1
.names lo26 li42
1 1
.names lo27 li43
1 1
.names lo28 li44
1 1
.names lo29 li45
1 1
.names lo30 li46
1 1
.names lo31 li47
1 1
.names pi19 li48
1 1
.names pi18 li49
1 1
.names pi17 li50
1 1
.names pi16 li51
1 1
.names pi15 li52
1 1
.names pi14 li53
1 1
.names pi13 li54
1 1
.names pi12 li55
1 1
.names pi11 li56
1 1
.names pi10 li57
1 1
.names pi09 li58
1 1
.names pi08 li59
1 1
.names pi07 li60
1 1
.names pi06 li61
1 1
.names pi05 li62
1 1
.names pi04 li63
1 1
.names lo47 po00
1 1
.names lo46 po01
1 1
.names lo45 po02
1 1
.names lo44 po03
1 1
.names lo43 po04
1 1
.names lo42 po05
1 1
.names lo41 po06
1 1
.names lo40 po07
1 1
.names lo39 po08
1 1
.names lo38 po09
1 1
.names lo37 po10
1 1
.names lo36 po11
1 1
.names lo35 po12
1 1
.names lo34 po13
1 1
.names lo33 po14
1 1
.names lo32 po15
1 1
.end
