ReedDecoderTest.bsv
上传用户:aoptech
上传日期:2014-09-22
资源大小:784k
文件大小:5k
源码类别:

3G开发

开发平台:

Others

  1. //----------------------------------------------------------------------//
  2. // The MIT License 
  3. // 
  4. // Copyright (c) 2007 Alfred Man Cheuk Ng, mcn02@mit.edu 
  5. // 
  6. // Permission is hereby granted, free of charge, to any person 
  7. // obtaining a copy of this software and associated documentation 
  8. // files (the "Software"), to deal in the Software without 
  9. // restriction, including without limitation the rights to use,
  10. // copy, modify, merge, publish, distribute, sublicense, and/or sell
  11. // copies of the Software, and to permit persons to whom the
  12. // Software is furnished to do so, subject to the following conditions:
  13. // 
  14. // The above copyright notice and this permission notice shall be
  15. // included in all copies or substantial portions of the Software.
  16. // 
  17. // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  18. // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
  19. // OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  20. // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
  21. // HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
  22. // WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  23. // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
  24. // OTHER DEALINGS IN THE SOFTWARE.
  25. //----------------------------------------------------------------------//
  26. import Controls::*;
  27. import DataTypes::*;
  28. import GetPut::*;
  29. import Interfaces::*;
  30. import Vector::*;
  31. import ReedEncoder::*;
  32. import ReedDecoder::*;
  33. // Global Parameters:
  34. typedef enum {
  35.    R0,  // BPSK 1/2
  36.    R1,  // QPSK 1/2
  37.    R2,  // QPSK 3/4
  38.    R3,  // 16-QAM 1/2
  39.    R4,  // 16-QAM 3/4
  40.    R5,  // 64-QAM 2/3
  41.    R6   // 64-QAM 3/4
  42. } Rate deriving(Eq, Bits);
  43. // may be an extra field for DL: sendPremable
  44. typedef struct {
  45.    Bool       firstSymbol; 
  46.    Rate       rate;
  47.    CPSizeCtrl cpSize;
  48. } TXGlobalCtrl deriving(Eq, Bits);
  49. function TXGlobalCtrl nextCtrl(TXGlobalCtrl ctrl);
  50.    Rate newRate = case (ctrl.rate)
  51.      R0: R1;
  52.      R1: R2;
  53.      R2: R3;
  54.      R3: R4;
  55.      R4: R5;
  56.      R5: R6;
  57.      R6: R0;
  58.   endcase; // case(rate)
  59.    return TXGlobalCtrl{ firstSymbol: False, rate: newRate, cpSize: CP0};
  60. endfunction
  61. function Bit#(16) getNewCounter(TXGlobalCtrl ctrl);
  62.    return case (ctrl.rate)
  63.      R0: 11;
  64.      R1: 23;
  65.      R2: 35;
  66.      R3: 47;
  67.      R4: 71;
  68.      R5: 95;
  69.      R6: 107;
  70.   endcase;
  71. endfunction
  72. function ReedSolomonCtrl#(8) reedEncoderMapCtrl(TXGlobalCtrl ctrl);
  73.     return case (ctrl.rate) matches
  74.                R0   : ReedSolomonCtrl{in:12, out:0};
  75.                R1   : ReedSolomonCtrl{in:24, out:8};
  76.                R2   : ReedSolomonCtrl{in:36, out:4};
  77.                R3   : ReedSolomonCtrl{in:48, out:16};
  78.                R4   : ReedSolomonCtrl{in:72, out:8};
  79.                R5   : ReedSolomonCtrl{in:96, out:12};
  80.                R6   : ReedSolomonCtrl{in:108, out:12};
  81.            endcase;
  82. endfunction
  83. (* synthesize *)
  84. module mkReedEncoderInstance(ReedEncoder#(TXGlobalCtrl,8,8));
  85.    ReedEncoder#(TXGlobalCtrl,8,8) reedEncoder;
  86.    reedEncoder <- mkReedEncoder(reedEncoderMapCtrl);
  87.    return reedEncoder;
  88. endmodule
  89. (* synthesize *)
  90. module mkReedDecoderInstance(ReedDecoder#(TXGlobalCtrl,8,8));
  91.    ReedDecoder#(TXGlobalCtrl,8,8) reedDecoder;
  92.    reedDecoder <- mkReedDecoder(reedEncoderMapCtrl);
  93.    return reedDecoder;
  94. endmodule
  95. (* synthesize *)
  96. module mkReedDecoderTest (Empty);
  97.    
  98.    let reedEncoder <- mkReedEncoderInstance;
  99.    let reedDecoder <- mkReedDecoderInstance;
  100.    Reg#(TXGlobalCtrl) ctrl <- mkReg(TXGlobalCtrl{firstSymbol:False,
  101.  rate:R0,
  102.                                                  cpSize:CP0});
  103.    Reg#(Bit#(16)) counter <- mkReg(0);
  104.    Reg#(Bit#(8))  inData <- mkReg(0);
  105.    Reg#(Bit#(32)) cycle <- mkReg(0);
  106.    
  107.    rule putNewRate(counter == 0);
  108.       let newCtrl = nextCtrl(ctrl);
  109.       let newData = inData + 1;
  110.       let newMesg = Mesg {control: newCtrl,
  111.   data: newData};
  112.       let newCounter = getNewCounter(newCtrl);
  113.       ctrl <= newCtrl;
  114.       inData <= newData;
  115.       counter <= newCounter;
  116.       reedEncoder.in.put(newMesg);
  117.       $display("Reed Encoder In Mesg: rate:%d, data:%b, counter:%d",newCtrl.rate,newData,newCounter);
  118.    endrule
  119.    rule putNewData(counter > 0);
  120.       let newCtrl = ctrl;
  121.       let newData = inData + 1;
  122.       let newMesg = Mesg { control: newCtrl,
  123.   data: newData};
  124.       let newCounter = counter - 1;
  125.       inData <= newData;
  126.       counter <= newCounter;
  127.       reedEncoder.in.put(newMesg);
  128.       $display("Reed Encoder In Mesg: rate:%d, data:%b, counter:%d",newCtrl.rate,newData,newCounter);
  129.    endrule
  130.    
  131.    rule putConvEncoder(True);
  132.       let mesg <- reedEncoder.out.get;
  133.       DecoderMesg#(TXGlobalCtrl,8,Bit#(1)) newMesg = unpack(pack(mesg));
  134.       reedDecoder.in.put(newMesg);
  135.       $display("Reed Encoder Out Mesg: rate:%d, data:%b",mesg.control.rate,mesg.data);
  136.    endrule
  137.       
  138.    rule getOutput(True);
  139.       let mesg <- reedDecoder.out.get;
  140.       $display("Reed Decoder Out Mesg: rate:%d, data:%b",mesg.control.rate,mesg.data);
  141.    endrule
  142.    
  143.    rule tick(True);
  144.       cycle <= cycle + 1;
  145.       if (cycle == 500000)
  146.  $finish;
  147.       $display("Cycle: %d",cycle);
  148.    endrule
  149.    
  150. endmodule
  151.    
  152.