Revision 1,
440 bytes
checked in by ttvmrc00, 14 years ago
(diff) |
upload iniziale
|
-
Property svn:executable set to
*
|
Rev | Line | |
---|
[1] | 1 | module test_benchMV; |
---|
| 2 | reg a,b,c,fault1,fault0; |
---|
| 3 | wire out; |
---|
| 4 | |
---|
| 5 | |
---|
| 6 | MajorityVoter MV ( |
---|
| 7 | .A (a), |
---|
| 8 | .B (b), |
---|
| 9 | .C (c), |
---|
| 10 | .out(out), |
---|
| 11 | .fault1(fault1), |
---|
| 12 | .fault0(fault0) |
---|
| 13 | ); |
---|
| 14 | initial |
---|
| 15 | begin |
---|
| 16 | a = 0; |
---|
| 17 | b = 0; |
---|
| 18 | c = 0; |
---|
| 19 | fault1 = 0; |
---|
| 20 | fault0 = 0; |
---|
| 21 | end |
---|
| 22 | always |
---|
| 23 | begin |
---|
| 24 | #5 a = !a; |
---|
| 25 | #1 a =1'bz; |
---|
| 26 | #1 a= 1'b1; |
---|
| 27 | end |
---|
| 28 | always |
---|
| 29 | #10 b = !b; |
---|
| 30 | always |
---|
| 31 | #20 c = !c; |
---|
| 32 | always |
---|
| 33 | #40 fault1 = !fault1; |
---|
| 34 | always |
---|
| 35 | #80 fault0 = !fault0; |
---|
| 36 | |
---|
| 37 | endmodule |
---|
| 38 | |
---|
| 39 | |
---|
| 40 | |
---|
| 41 | |
---|
Note: See
TracBrowser
for help on using the repository browser.