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