| Line | |
|---|
| 1 | environment: send this letters: AEAEAEAEAEAE it changes letter when an ack is |
|---|
| 2 | recieved. |
|---|
| 3 | environment2: send any letter it changes letter when an ack is |
|---|
| 4 | recieved. |
|---|
| 5 | encoder : read the new letter only when valid is true and send an acknowledge |
|---|
| 6 | when it's done transmitting the character's code. |
|---|
| 7 | |
|---|
| 8 | protect_env.reg : the set of environment register to be protected. |
|---|
| 9 | env.fair : the fairness contraint for environnment2 |
|---|
| 10 | |
|---|
| 11 | rob_composition.v : the composoiton golden/faulty/env |
|---|
| 12 | env+huff.v : the composition of Huffman and environment |
|---|
| 13 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
