28 lines
435 B
Text
28 lines
435 B
Text
bin/evcd2vcd
|
|
bin/fst2vcd
|
|
bin/ghwdump
|
|
bin/gtkwave
|
|
bin/lxt2miner
|
|
bin/lxt2vcd
|
|
bin/mvl2lxt
|
|
bin/mvl2vcd
|
|
bin/rtlbrowse
|
|
bin/shmidcat
|
|
bin/tex2vcd
|
|
bin/tla2vcd
|
|
bin/twinwave
|
|
bin/vcd2fst
|
|
bin/vcd2lxt
|
|
bin/vcd2lxt2
|
|
bin/vcd2vzt
|
|
bin/vermin
|
|
bin/vzt2vcd
|
|
bin/vztminer
|
|
%%DOCSDIR%%/gtkwave.odt
|
|
%%EXAMPLESDIR%%/des.sav
|
|
%%EXAMPLESDIR%%/des.script
|
|
%%EXAMPLESDIR%%/des.tcl
|
|
%%EXAMPLESDIR%%/des.v
|
|
%%EXAMPLESDIR%%/des.vzt
|
|
@dirrm %%EXAMPLESDIR%%
|
|
@dirrm %%DOCSDIR%%
|