3G开发

开发平台：

Others

ReedTest.bsv：源码内容

							//----------------------------------------------------------------------//
// The MIT License 
// 
// Copyright (c) 2007 Alfred Man Cheuk Ng, mcn02@mit.edu 
// 
// Permission is hereby granted, free of charge, to any person 
// obtaining a copy of this software and associated documentation 
// files (the "Software"), to deal in the Software without 
// restriction, including without limitation the rights to use,
// copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the
// Software is furnished to do so, subject to the following conditions:
// 
// The above copyright notice and this permission notice shall be
// included in all copies or substantial portions of the Software.
// 
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
// HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
// WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
// OTHER DEALINGS IN THE SOFTWARE.
//----------------------------------------------------------------------//
import Vector::*;
typedef Bit#(8)         Byte;
typedef Vector#(n,Byte) Syndrome#(numeric type n);
function Bool isNoError(Byte valid_t, Tuple2#(Integer, Byte) x);
   return (valid_t <= (fromInteger(tpl_1(x)) >> 1)) || (tpl_2(x) == 0);
endfunction
   
(* noinline *)
function Bool noError(Byte valid_t, Syndrome#(32) syndrome);
   Vector#(32,Bool) no_errors = map(isNoError(valid_t), zip(genVector,syndrome)); 
   return fold(&& , no_errors);
endfunction 

						