ocean/docs: 

	         DOCUMENTATION ABOUT THE OCEAN SYSTEM

This directory contains the following documentation related to the OCEAN
system:


"OCEAN: the Sea-of-Gates design system manual"
 file:     Oceanmanual.ps   (1.9 Mbyte, 118 pages, in 'ocean_docs.tar.gz')
 contents: Comprehensive manual of the entire sea-of-gates OCEAN system, 
	   including tutorials, library descriptions and the latest features. 
	   We strongly recommend to print this manual before using the system.
-----

"The TU Delft undergraduate design course: Students design a complex 
 sea-of-gates chip from scratch up to a working 'product'"
 file:     designcourse.ps  (0.1 Mbyte, 4 pages, in 'ocean_docs.tar.gz' 
           and 'other_info/designcourse.ps.gz')
 contents: Describing the design course in which the students work with OCEAN.
-----

"SIS: A System for Sequential Circuit Synthesis"
 file:     SIS_paper.ps (0.4 Mbyte, 45 pages, in 'ocean_docs.tar.gz')
 contents: Paper describing the SIS logic synthesis tool from the UC Berkeley.
-----

"SLS: Switch-Level Simulator User's Manual"
 file:     slsManual.ps   (0.2 Mbyte, 43 pages, in archive 'ocean_docs.tar.gz')
 contents: Describes the logic and switch-level simulator SLS and
           the SLS circuit description language.
-----

"func_mkdb User's Manual"
 file:     funcManual.ps  (0.2 Mbyte, 46 pages, in archive 'ocean_docs.tar.gz')
 contents: Describes the use of functional modules with the SLS simulator.
-----

"SPACE User's manual"
 file:     spaceManual.ps (0.2 Mbyte, 34 pages, in archive 'ocean_docs.tar.gz')
 contents: Describes the powerful layout to circuit extractor SPACE
           in full detail.
-----

"SPACE tutorial"
 file:     spaceTutorial.ps (0.1 Mbyte, 24 pages, in archive 'ocean_docs.tar.gz')
           "SPACE tutorial"
 contents: A tutorial on using SPACE.


All documents are in postscript format, ready to print. 
Again: first print "Oceanmanual.ps" and get familiar with the system. The 
the other manuals might be useful later on.

The latex and troff sources of these manual pages are available upon request.


  Patrick Groeneveld or Paul Stravers
  Electronic Engineering Group, Electrical Engineering Faculty
  Delft University of Technology
  Mekelweg 4
  2628 CD   Delft
  The Netherlands

  Phone: +31-15786240  Fax: +31-15786190
  Email: ocean@donau.et.tudelft.nl 
         stravers@donau.et.tudelft.nl
         patrick@donau.et.tudelft.nl
