5xp1	4
9sym	6
9symml	4
C1355	6
C17	2
C1908	6
C2670	7
C3540	7
C432	4
C499	6
C5315	7
C6288	5
C7552	6
C880	6
alu2	6
alu4	9
apex1	10
apex2	9
apex3	10
apex4	10
apex5	7
apex6	5
apex7	5
b1	2
b12	5
b9	5
bbara	4
bbrtas	6
bbsse	4
bbtas	2
beecount	3
bigkey	7
bw	4
c8	3
cc	3
cht	4
clip	5
clma	10
cm138a	3
cm150a	3
cm151a	3
cm152a	3
cm162a	4
cm163a	3
cm42a	4
cm82a	2
cm85a	4
cmb	4
comp	3
con1	3
cordic	8
count	5
cps	8
cse	5
cu	3
daio	2
daio-rec	5
dalu	6
decod	3
des	7
diffeq	7
dk14	5
dk15	3
dk16	4
dk17	3
dk27	2
dk512	3
dsip	6
duke2	7
e64	7
ecc	7
elliptic	10
ex1	5
ex1010	10
ex4	4
ex4p	6
ex5p	11
ex6	5
example2	4
f51m	4
frg1	4
frg2	6
frisc	10
gcd	6
i1	3
i10	7
i2	3
i3	3
i4	3
i5	4
i6	5
i7	4
i8	7
i9	6
inc	4
k2	9
keyb	5
lal	4
ldd	4
lion	2
majority	2
mark1	3
mc	2
misex1	3
misex2	4
misex3	9
misex3c	7
mm30a	5
mm4a	4
mm9a	5
mm9b	5
mult16a	3
mult16b	4
mult32a	5
mux	4
my-adder	3
o64	3
opus	4
pair	7
parity	3
parker1986	9
pcle	3
pcler8	4
pdc	12
ph-decod	5
planet	5
planet1	6
pm1	3
pma	5
rd53	3
rd73	4
rd84	6
rot	6
s1	5
s1196	5
s1238	6
s1423	6
s1488	5
s1494	6
s208	3
s208.1	3
s27	2
s298	6
s344	4
s349	4
s382	4
s38417	7
s38584.1	8
s386	4
s400	4
s420	3
s420.1	3
s444	4
s510	5
s526	3
s526n	4
s5378	7
s641	5
s713	4
s820	5
s832	5
s838	5
s838.1	4
s9234.1	6
s953	6
sand	6
sao2	4
sbc	6
scf	6
sct	4
seq	10
shiftreg	1
spla	11
sqrt8	4
sqrt8ml	4
squar5	4
sse	4
styr	5
t481	7
table3	9
table5	11
tav	3
tbk	5
tcon	2
term1	5
too-lrg	6
traffic	3
tseng	6
ttt2	4
unreg	4
vda	7
vg2	4
x1	5
x2	4
x3	6
x4	5
xor5	3
z4ml	3