ISCAS93 Addendum Sequential Benchmark Circuits