You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
41 lines
939 B
41 lines
939 B
6 years ago
|
model unfold_NVerProg {
|
||
|
|
component NVerProg(in i_1,in i_2,out o_1,out o_2) {
|
||
|
|
component vote_2(in i_1,in i_2,in i_3,out o_1) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component vote_1(in i_1,in i_2,in i_3,out o_1) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component dupl_2(in i_1,out o_1,out o_2,out o_3) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component dupl_1(in i_1,out o_1,out o_2,out o_3) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component comp_3(in i_1,in i_2,out o_1,out o_2) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component comp_2(in i_1,in i_2,out o_1,out o_2) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component comp_1(in i_1,in i_2,out o_1,out o_2) {
|
||
|
|
|
||
|
|
}
|
||
|
|
i_2 -> dupl_2.i_1
|
||
|
|
i_1 -> dupl_1.i_1
|
||
|
|
dupl_2.o_3 -> comp_3.i_2
|
||
|
|
dupl_2.o_2 -> comp_2.i_2
|
||
|
|
dupl_2.o_1 -> comp_1.i_2
|
||
|
|
dupl_1.o_3 -> comp_3.i_1
|
||
|
|
dupl_1.o_2 -> comp_2.i_1
|
||
|
|
dupl_1.o_1 -> comp_1.i_1
|
||
|
|
comp_3.o_2 -> vote_2.i_3
|
||
|
|
comp_3.o_1 -> vote_1.i_3
|
||
|
|
comp_2.o_2 -> vote_2.i_2
|
||
|
|
comp_2.o_1 -> vote_1.i_2
|
||
|
|
comp_1.o_2 -> vote_2.i_1
|
||
|
|
comp_1.o_1 -> vote_1.i_1
|
||
|
|
vote_2.o_1 -> o_2
|
||
|
|
vote_1.o_1 -> o_1
|
||
|
|
}
|
||
|
|
}
|