*************************
** Veri-Spec : Beispiel
*************************

==============
Programmstart 
==============
in der Kommandozeile eingeben :

perl veri_spec.pl -verilog netlist.v -mifspec specif.mif -script tabinfo.pl