*************************************************************************
  ISCAS'85 Circuit Trace

                                        Yirng-An Chen
                                        School of Computer Science
                                        Carnegie Mellon University 
                                        yachen@cs.cmu.edu

				        Created: 1996
                                        Last Modified: 8/98
*************************************************************************

Description
-----------
   This directory contains the ISCAS'85 circuit benchmark translated
   into the "trace" format to be used by the bdd-trace driver.  The
   variable ordering used, except for the C6288 series, is generated
   by the order_dfs() algorithm in SIS (from Berkeley).  The C6288
   series is derived from the C6288 multiplier circuit with different
   number of input bits.  The variable ordering for the c6288 series is
         a[n-1] < a[n-2] < ... < a[0] < b[n-1] < b[n-2] < ... < b[0] 
   where
         a =  Sum    2^i * a[i]
             0<=i<n
         b =  Sum    2^i * b[i]
             0<=i<n
   are the two operands to the n-bit multiplier.
   
   
   
FILES
-----
  README         -- this file.
  c17.trace      -- short test circuit
  c432.trace     -- priority decoder
  c499.trace     -- ECAT
  c880.trace     -- ALU and Control
  c1355.trace    -- ECAT
  c1908.trace    -- ECAT
  c2670.trace    -- ALU and Control
  c3540.trace    -- ALU and Control
  c5315.trace    -- ALU and Control
  C6288-8.trace  -- 8-bit multiplier
  C6288-9.trace  -- 9-bit multiplier
  C6288-10.trace -- 10-bit multiplier
  C6288-11.trace -- 11-bit multiplier
  C6288-12.trace -- 12-bit multiplier
  C6288-13.trace -- 13-bit multiplier
  C6288-14.trace -- 14-bit multiplier
  C6288-15.trace -- 15-bit multiplier
  C6288-16.trace -- 16-bit multiplier
  c7552.trace    -- ALU and Control

NOTE
----
  The bdd-trace driver can be obtained from
        http://www.cs.cmu.edu/~bwolen/software/