The original ISCAS85 benchmark circuits (with descriptions and some test vectors) are available from NCSU .