********************
****  Veri-Spec ****
********************
Autor : Yu-wen Pang
Datum : 30. Dez.´01
********************

================================
Bedeutung der einzelnen Dateien
================================
ERLAERUNG : beschreibt die Nutzungsberechtigung.

docs/ : Unter diesem Verzeichnis stehen die Dokumente zu dem Projekt
`Veri-Spec´. (Proposal, Spezifikationen, Block Diagram, Testbericht und
Abschlußbericht) 

programs/ : Unter diesem Verzeichnis stehen die für das Projekt entwickelten
Quellcode mit Kommentar. Die Zusammenhänge zwischen Funktionen : siehe
bitte die Datei diagram.doc unter dem Verzeichnis docs/. User Document steht
im Abschlußbericht.

BeispielPaket/ : Unter diesem Verzeichnis stehen ein Beispielnetzliste, die
der Netzliste entsprechende MIF-Datei, die Tabellen-Infos in der MIF-Datei
(Wenn man FrameMaker hat, kann man selber die Stellen von Tabellen mit
FrameMaker anschauen.), das Programm Veri-Spec und ein README, wie man das
Programm unter diesem BeispielPaket ausführt. Die Bedeutung des Ergebnisses :
siehe User Document im Abschlußbericht.

==============
Programmstart 
==============
siehe : User Documentation in `abschlußbericht.html´ unter dem
Verzeichnis `docs/´