Using SIS1.2 in MACS Lab
1. Type "use sis12"
2. To start sis, type "sis". Also, there is a version that 
   uses X11. To start that version, type "xsis". 
3. Once in sis, the command "help" will provide a list 
   of commands. Help on each command is available as well. 
4. Mcnc benchmarks are in the directory: 
   /usr/vlsi1/sis/ex-temp/
   The combinational tests are on comb/ while all sequential, 
   asynchronous and verification examples are on all other
   directories. A selected set of benchmarks is contained in iwls93

An Example of SIS run:

UC Berkeley, SIS 1.3 (compiled 28-Oct-98 at 4:25 PM)
sis> read_pla /usr/vlsi1/sis/ex-temp/comb/mcnc91/tlex/rd53.pla
sis> ps
rd53.pla      	pi= 5	po= 3	nodes=  3	latches= 0
lits(sop)= 144	lits(fac)=  71
sis> so script.rugged
sis> ps
rd53.pla      	pi= 5	po= 3	nodes=  8	latches= 0
lits(sop)=  42	lits(fac)=  37
sis> so script.algebraic
sis> ps
rd53.pla      	pi= 5	po= 3	nodes= 13	latches= 0
lits(sop)=  42	lits(fac)=  42
sis>

An example of PLA file:
.i 7
.o 2
.ilb f b c d a h g
.ob f0 f1
.p 9
-1--1-- 10
1-11--- 10
-001--- 10
01---1- 10
-0--0-- 01
1---0-- 01
0-----0 01
01--1-- 01
10-0--- 01
.e

An example of BLIF file:
.model C17.iscas
.inputs 1GAT(0) 2GAT(1) 3GAT(2) 6GAT(3) 7GAT(4)
.outputs 22GAT(10) 23GAT(9)
.names 3GAT(2) 6GAT(3) 11GAT(5)
11 0
.names 1GAT(0) 3GAT(2) 10GAT(6)
11 0
.names 11GAT(5) 7GAT(4) 19GAT(7)
11 0
.names 2GAT(1) 11GAT(5) 16GAT(8)
11 0
.names 16GAT(8) 19GAT(7) 23GAT(9)
11 0
.names 10GAT(6) 16GAT(8) 22GAT(10)
11 0

An example of synchronous BLIF file: 
.end
.model train4.kiss2
.inputs v0 v1
.outputs v4.2
.latch    v4.0 v2   0
.latch    v4.1 v3   0
.names [10] v4.2
0 1
.names [6] v4.0
0 1
.names [8] v4.1
0 1
.names v0 v1 v2 [0]
001 1
.names v0 v1 [1]
11 1
.names v1 v3 [2]
10 1
.names v0 v3 [3]
10 1
.names v1 v3 [4]
11 1
.names v0 v3 [5]
11 1
.names [0] [1] [2] [3] [6]
0000 1
.names [0] [1] [4] [5] [8]
0000 1
.names [0] [2] [3] [4] [5] [10]
00000 1
.end

An example of KISS file: 
.i 2 
.o 1 
.p 14 
.s 4
00 st0 st0 0
10 st0 st1 -
01 st0 st1 -
10 st1 st1 1
01 st1 st1 1
00 st1 st2 1
11 st1 st2 1
00 st2 st2 1
11 st2 st2 1
01 st2 st3 1
10 st2 st3 1
10 st3 st3 1
01 st3 st3 1
00 st3 st0 -