ISCAS93 Addendum Sequential Benchmark Circuits
prolog.bench
s344.bench
s499.bench
s635.bench
s938.bench
s967.bench
s991.bench
s1196.bench
s1269.bench
s1512.bench
s3271.bench
s3330.bench
s3384.bench
s4863.bench
s6669.bench