# Benchmark "accum" written by ABC on Mon Mar 28 13:56:17 2011
.model accum
.inputs top^clock top^reset_n top^D~0 top^D~1 top^D~2 top^D~3
.outputs top^Q~0 top^Q~1 top^Q~2 top^Q~3

.latch        n21 top^FF_NODE~3  0
.latch        n26 top^FF_NODE~4  0
.latch        n31 top^FF_NODE~5  0
.latch        n36 top^FF_NODE~6  0

.names top^reset_n top^D~0 top^FF_NODE~3 n21
001 1
010 1
.names top^reset_n top^D~0 top^D~1 top^FF_NODE~3 top^FF_NODE~4 n26
000-1 1
001-0 1
01010 1
01111 1
0-001 1
0-100 1
.names top^reset_n top^D~0 top^D~1 top^D~2 top^FF_NODE~3 top^FF_NODE~4 \
 top^FF_NODE~5 n31
0000--1 1
0001--0 1
01001-0 1
01011-1 1
0-000-1 1
0-010-0 1
0-10-01 1
0-10-10 1
0-11-00 1
0-11-11 1
.names top^reset_n top^D~3 top^FF_NODE~6 n27 n36
0001 1
0010 1
0100 1
0111 1
.names top^D~0 top^D~1 top^D~2 top^FF_NODE~3 top^FF_NODE~4 top^FF_NODE~5 \
 n27
1001-- 1
-10-1- 1
--1--1 1
.names top^FF_NODE~3 top^Q~0
1 1
.names top^FF_NODE~4 top^Q~1
1 1
.names top^FF_NODE~5 top^Q~2
1 1
.names top^FF_NODE~6 top^Q~3
1 1
.end