source:
caseStudy_Huffmann/huffmann/huff_reset/safe_rob1.ctl
@
105
Last change on this file since 105 was 105, checked in by , 12 years ago | |
---|---|
File size: 276 bytes |
Rev | Line | |
---|---|---|
[105] | 1 | !( |
2 | (plain<0> = 1 ^ plain<0>G = 0) * | |
3 | (plain<1> = 1 ^ plain<1>G = 0) * | |
4 | (plain<2> = 1 ^ plain<2>G = 0) * | |
5 | (plain<3> = 1 ^ plain<3>G = 0) * | |
6 | (plain<4> = 1 ^ plain<4>G = 0) * | |
7 | (plain<5> = 1 ^ plain<5>G = 0) * | |
8 | (plain<6> = 1 ^ plain<6>G = 0) * | |
9 | (plain<7> = 1 ^ plain<7>G = 0) | |
10 | ); |
Note: See TracBrowser
for help on using the repository browser.