KISS Generator 0.8
KISS Generator 0.8 is an easy-to-use tool to generate random KISS files (FSMs) that can be used as benchmark files.
For details on KISS see the BLIF manual.
Parameters that can be set:
- Number of inputs
- Number of outputs
- Number of defined terms
- Percentage of don't cares in the input matrix (i.e., dimensions of the terms)
- Percentage of don't cares in the output matrix
- Percentage of "ones" in the input matrix
- Percentage of "ones" in the output matrix
- The number of (pseudo-)equivalence classes
In a case of a PLA type fr, consistent functions are always produced, i.e., their on-sets and off-sets are not intersecting.
Program Manual
Syntax:
Genstate -i n -o n -t n -s n [-idc n] [-odc n] [-idt n] [-odt n] [-se n] [-sp n] [-sr] [-sNS] [-sND] [-sNK] [-sD] [-NC] [-timeout n] [file_name]
| -i n | Specify the number of inputs |
| -o n | Specify the number of outputs |
| -t n | Specify the number of defined terms |
| -h n | Specify the number of hash bits. 0 is default |
| -idc n | Specify the percentage of input don't cares. 0 is the default |
| -odc n | Specify the percentage of output don't cares. 0 is the default |
| -idt n | Specify the percentage of input ones. 50 is the default |
| -odt n | Specify the percentage of output ones. 50 is the default |
| -timeout n | The timeout limit, in seconds. 1000s is the default |
| -NC | The consistency check is not performed. The PLA type fd is produced. |
| -s n | Enable state enhancement and specify number of states |
| -se n | Specify the effective states (number of equivalence classes) |
| -sp n | Specify the percentage of pseudo states |
| -sr | Enable state RESET (it doesnt count to n states and n terms) |
| -sNS | The continuity check is not performed. |
| -sND | The accesibility check is not performed. |
| -sNK | The ending check is not performed. |
| -sD | The deterministic check is not performed, terms are still checked for consistency. |
The tool generates a random finite state machines (FSMs) in a KISS format. For details see the BLIF specification.
The consistency check is performed as default, thus the resulting KISS always makes sense. In particular,
the FSM is deterministic, all the states are accessible.
Download KISS Generator 0.8
Authors: T. Měchura & P. Fišer, (c) 2008
|