MTT command:
mtt OnePorts struc tex
List of inputs for system OnePorts | |||
---|---|---|---|
1 | ss_1 | OnePorts__ss_1 | 1 |
2 | ss_2 | OnePorts__ss_2 | 1 |
3 | ss_3 | OnePorts__ss_3 | 1 |
4 | ss_4 | OnePorts__ss_4 | 1 |
5 | ss_5 | OnePorts__ss_5 | 1 |
6 | ss_6 | OnePorts__ss_6 | 1 |
List of nonstates for system OnePorts | |||
---|---|---|---|
1 | c_4 | OnePorts__c_4 | 1 |
2 | i_6 | OnePorts__i_6 | 1 |
List of outputs for system OnePorts | |||
---|---|---|---|
1 | ss_1 | OnePorts__ss_1 | 1 |
2 | ss_2 | OnePorts__ss_2 | 1 |
3 | ss_3 | OnePorts__ss_3 | 1 |
4 | ss_4 | OnePorts__ss_4 | 1 |
5 | ss_5 | OnePorts__ss_5 | 1 |
6 | ss_6 | OnePorts__ss_6 | 1 |
List of states for system OnePorts | |||
---|---|---|---|
1 | c_3 | OnePorts__c_3 | 1 |
2 | i_5 | OnePorts__i_5 | 1 |