-rwxr-xr-x | 27744 | root |
root |
/usr/bin/createf4tbar
|
-rwxr-xr-x | 43136 | root |
root |
/usr/bin/createmmap
|
-rwxr-xr-x | 59804 | root |
root |
/usr/bin/createtestbench
|
-rwxr-xr-x | 1746032 | root |
root |
/usr/bin/fsmdesigner4
|
-rwxr-xr-x | 45520 | root |
root |
/usr/bin/fsmmin
|
-rwxr-xr-x | 210600 | root |
root |
/usr/bin/fsmverification
|
-rwxr-xr-x | 280080 | root |
root |
/usr/bin/fsmveriloggeneration
|
-rwxr-xr-x | 280516 | root |
root |
/usr/bin/fsmvhdlgeneration
|
-rw-r--r-- | 53189 | root |
root |
/usr/lib/fsmdesigner.py
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/FSMDesigner4
|
-rw-r--r-- | 89 | root |
root |
/usr/share/doc/FSMDesigner4/AUTHORS
|
-rw-r--r-- | 18002 | root |
root |
/usr/share/doc/FSMDesigner4/COPYING
|
-rw-r--r-- | 160 | root |
root |
/usr/share/doc/FSMDesigner4/ChangeLog
|
-rw-r--r-- | 9498 | root |
root |
/usr/share/doc/FSMDesigner4/INSTALL
|
-rw-r--r-- | 0 | root |
root |
/usr/share/doc/FSMDesigner4/NEWS
|
-rw-r--r-- | 2463 | root |
root |
/usr/share/doc/FSMDesigner4/README
|