This directory is organized as follows:


There are two sub directories:

1. /doc/ :  is the documentation directory of this Tutorial.

Here you  will find files on latex (/tutorial.tex)  and postscript (/tutorial.ps) format of the tutorial documentation. Please, get a look on  this directory or/and print tutorial.ps. 

2. /examples/ : is the the directory of some other examples of circuits (not in the tutorial). There is one directory for each new circuit example: addaccu, count, dlxsts, misex1.

Also, there are five other files.

1. /Makefile : is the executable file that runs the main steps in the tutorial.

2. /digicod.vbe : is the VHDL behavioral description of the circuit example.

3. /digicod.lax : is an example of parameter file for Alligator

4. /digicodo.lca : is  the netlist in the "logic cell array" format after GLOBAL optimization. (generated by XACT from /digicodo.xnf)

5. /digicodl.lca : is  the netlist in the "logic cell array" format after LOCAL optimization. (generated by XACT from /digicodl.xnf)

After executing the Makefile file (plese see the tutorial documentation) you will have in addition, these files:


1. /digicodo.xnf : is  the netlist in the "Xilinx Net-list" format  after GLOBAL optimization. (generated from /digicod.vbe by Alligator).

2. /digicodl.xnf : is  the netlist in the "Xilinx Net-list" format  after LOCAL optimization. (generated from /digicod.vbe by Alligator).

3. /digicodo.al : is  the netlist in the "Alliance Net-list" format  after GLOBAL optimization. (generated from /digicod.vbe by Alligator).

4. /digicodl.al : is  the netlist in the "Alliance Net-list" format  after LOCAL optimization. (generated from /digicod.vbe by Alligator).

5. /digicod_global, /proof_global,  /digicod_local and /proof_local are just target files generated by Makefile. 
