POLIS Programmer Information
POLIS Programmers' Guide (on-line viewing)
POLIS Programmers' Guide (compressed postscript)
POLIS User's Manual (compressed postscript)
Package documentation
cfsm package:
s_io package
net package
share package
hw package
intfc package
os package:
os_io package
sched package
part package
sw package:
estm package
s2c package
sg package
sgnw package
test package
val package:
simcfsm package
UCB Design Technology Warehouse Homepage