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