_________________________________________________________________________

************** File: Partitioning93/DOCUMENTATION/README ****************
_________________________________________________________________________


The `Partitioning93/DOCUMENTATION' directory contains various LaTeX files
needed to generate two LaTeX documents: `interface' and `results'. These
documents are extracts from the following MCNC Technical Report:

        R. Kuznar, F. Brglez, and K. Kozminski, "Partitioning Digital
        Circuits for Implementations in Multiple FPGA ICs",  Technical
        Report 93-03, MCNC, Research Triangle Park, NC,  February 1993.

All the files in this directory should be copied into a single directory,
and the individual documents may be obtained as follows:


interface : The 'dvi' version of this document can be generated by typing
	'make interface' at the command line (if you have copied the 
	Makefile from this directory), or by entering the following
	commands in sequence:

			latex interface.tex
			bibtex interface
			latex interface.tex
			latex interface.tex

	The interface.dvi file obtained thus can now be viewed using 'xdvi',
	or converted to PostScript for printing in the usual manner.

	This document contains a description of how the 'k-way.x'
	partitioning algorithm, described in the above MCNC Technical
	Report, was interfaced to the Xilinx tool XACT. Other partitioning
	algorithms may be interfaced with the Xilinx Design Development
	System in a similar manner. This document is intended to provide
	users of the Partitioning benchmark suite with guidelines about
	interfacing their partitioning algorithms to the Xilinx Design
	Development System, so that they can use the benchmark circuits.

-------------------------------------------------------------------------------

NOTE: The `interface' document contains a figure (fig.1), which has been
	included in the LaTeX document as a PostScript figure, using
	"\include{psfig}". If you do not have a version of the `dvitps'
	(or dvi2ps) executable which can support this `psfig' feature, then
	you might not be able to get figure in your printed output.
	Therefore, if you see that your printout contains a blank space
	above the ~Figure 1: Interfacing ..." caption, then try the
	following:

		i) If you are using some version of dvi2ps/dvitps/dvips
		which is supposed to support "\include{psfig}", then try
		using a your own version of the `psfig.tex' file, instead
		of the one provided here.

		ii) If you are not using a version of dvi2ps/dvitps/dvips
		which can support inclusion of PostScript files directly
		with "\include{psfig}", then use whatever procedure you
		would normally use to include figures in your LaTeX
		documents, using `fig.1' as the PostScript file, and the
		`mac.pro' file as the prolog file for the figure.

		iii) If you still cannot get the figure to print out with
		the LaTeX document, then simply print the file `fig_1.ps',
		which is a printer-ready PostScript version of Figure 1, 
		separately, (using `lpr fig_1.ps' in Unix). Then attach 
		the printed figure to printout of the LaTeX `interface'
		document.

----------------------------------------------------------------------------


results:  The 'dvi' version of this document can be generated by typing
	'make results' at the command line (if you have copied the
	Makefile from this directory), or by entering the following
	commands in sequence:

                        latex results.tex
                        bibtex results 
                        latex results.tex
                        latex results.tex

        The results.dvi file obtained thus can now be viewed using 'xdvi',
	or converted to PostScript for printing in the usual manner.

	This document describes the results obtained while using the
	'k--way.x' partioning algorithm, described in the above MCNC
	Technical Report, to partition circuits from the Partitioning
	benchmark suite. This document is intended to provide users of
	the Partitioning benchmark suite with some sample results, and
	guidelines about reporting results obtained by using their 
	partitioning algorithms on benchmark circuits.

___________________________________________________________________________