/*********************************************************
** This README is written by Dr. Delong Shang of the school
** of EECE, University of Newcastle
** in 8/12/2004
*********************************************************/

The PN2DCs toolkit includes two tools. 
One is basic-pn2dcs tool and the other is the advanced-pn2dcs tool.

The basic-pn2dcs tool has been fully developed. It is used to map specifications
from STG format to DC circuits. For more details and usage of the tool please read 
the documents in the doc/basic-pn2dcs directory.

The advanced-pn2dcs tool is used together with the verisyn tool. The verisyn tool generates
input/output information, global control nets, local control nets and datapath nets. The
advanced-pn2dcs is used to map these multi-nets to hardware circuits based on DC cells. 
The advanced-pn2dcs prototype tool is used to map the Global control and Local control Parts
to hardware circuits. I will update it in the future.


There are five directories.
bin: consisting of executing files;
     p1, p2 --- basic-pn2dcs
     syn-tool.exe --- advanced-pn2dcs
doc: documents about the tools;
examples: 
code: source codes
lib: library used in the advanced-pn2dcs tool.

and one README file

 
  
