bms_std_str_full.tdf

CodeVisionAVR C Library Functions Reference CodeVisionAVR C 库函数介绍 译自CodeVisionAVR C Compiler Help

-------------------------------------------------------------------------
-------------------------------------------------------------------------
--
-- Revision Control Information
--
-- $Workfile:   bms_std_str_full.tdf  $
-- $Archive:   P:/RS_std/units/Dec_str/ahdl/bms_std_str_full.tdv  $
--
-- $Revision:   1.2  $
-- $Date:   19 Aug 1999 16:57:52  $
-- $Author			:  Alejandro Diaz-Manero
--
-- Project      :  RS_std
--
-- Description	: 
--
-- Copyright 1999 (c) Altera Corporation
-- All rights reserved
--
-------------------------------------------------------------------------
-------------------------------------------------------------------------

FUNCTION lpm_add_sub (cin, dataa[LPM_WIDTH-1..0], datab[LPM_WIDTH-1..0], 
					  add_sub, clock, aclr)
   RETURNS (result[LPM_WIDTH-1..0], cout, overflow);

FUNCTION lpm_counter (data[LPM_WIDTH-1..0], clock, clk_en, cnt_en, updown, aclr, 
					  aset, aconst, aload, sclr, sset, sconst, sload)
   RETURNS (q[LPM_WIDTH-1..0], eq[15..0]);

FUNCTION lpm_compare (dataa[LPM_WIDTH-1..0], datab[LPM_WIDTH-1..0], clock, aclr)
   RETURNS (alb, aeb, agb, ageb, aneb, aleb);

FUNCTION gfmul (a[m..1], b[m..1]) 
   RETURNS (c[m..1]);

FUNCTION gfdiv (a[m..1], d[m..1]) 
   RETURNS (c[m..1]);


PARAMETERS
(
m = 8,			-- GF size (2^m)
irrpol = 285,	-- field polynomial
check = 16,		-- number of check symbols (= # of syndromes)
inv_file = "inv_8_285.hex"
);

constant wide = ceil(log2(check+1));
constant errs = floor(check DIV 2);

subdesign bms_std_str_full
(
 sysclk, reset, latchsyn, syn[check..1][m..1] : INPUT;
 bdout[errs..1][m..1], omegaout[errs..1][m..1], numerr[wide..1], done : OUTPUT;
)

VARIABLE

  synreg[check..1][m..1], bd[errs..1][m..1], bdprev[errs..1][m..1], bdtemp[errs..1][m..1] : dffe;
  one[m..1] : node;
  onereg : dffe;
  onenode[m..1] : node;

  deltaleft[errs..1][m..1], deltaright[errs..1][m..1] : node;
  bdleft[errs..1][m..1], bdright[errs..1][m..1] : node;
  mulleft[errs..1][m..1], mulright[errs..1][m..1], deltamult[m..1] : dffe; 
  mulout[errs..1][m..1] : node;
  mulsum[errs..1][m..1], addvec[errs..1][m..1] : node;
  deltazero[m..1] : node;
  delta[m..1], deltaprev[m..1] : dffe;

  mcount, omegacount : lpm_counter WITH (LPM_WIDTH = wide);
	sub_llnum_mloop : lpm_add_sub WITH (LPM_WIDTH = wide, LPM_DIRECTION = "SUB");
  add_one_llnuma : lpm_add_sub WITH (LPM_WIDTH = wide, LPM_DIRECTION = "ADD");
	cmp : lpm_compare WITH (LPM_WIDTH = (wide+1));

  llnuma[wide..1], zero[wide..1] : node;
  llnum[wide..1] : dffe;
  llnumnode[wide..1] : node;
  mloop[wide..1], omegaloop[wide..1] : node;
  mchk[wide..1], mcmp[wide..1], omegachk[wide..1], omegacmp[wide..1] : node;  
  tlm : node;

  omsel[errs..1] : dffe;
  omegaleft[errs..1][m..1], omegaright[errs..1][m..1] : node;

  loadbd, loadbdprev, loadbdtemp : node;
  shiftsynleft, shiftsynright, clearbd, shiftbdprev_lm : node; 
  deltacalc, newdelta, olddelta, load_llnum, shiftbdprev_ml : node; 
  incm : node; 
  incomega, initomega, calcomega, massdone : node; 

  mx : MACHINE OF BITS (mst[16..1])
	   WITH STATES
			(s0  = B"0000000000000000",

			 s1  = B"0000000000000100",  -- load syndromes, loadbdtemp
			 s2  = B"0000000111000000",  -- calc new delta = Sm + (series)B(j)*S(m-j), shiftBDprev_lm
			 s77 = B"0000000100000000",  -- 1 pipe stage to top of gfmuls
			 s3  = B"0000000000000000",  -- if new delta <> 0, calc new BD

			 s4  = B"0000000000000100",  -- TD = BD, BD = BD - deltamult*(D^i)*BDprev
			 s5  = B"0000000000000001",  -- load BD, check 2L <= m?
			 s6  = B"0000001000000010",  -- L = m+1-L, i=1, BDprev = BDtemp, olddelta = delta

			 s8  = B"0000010000001000",  -- inc mloop, shift synregs left

-- calc omega
			 s10 = B"0011000000100100",  -- initialize omega, loadbdtemp, clearbd
			 s11 = B"0010000000010011",  -- shiftsynright
			
			 s12 = B"1010100000010001",  -- synshiftright, shiftbdprev_ml, incomega

			 s99 = B"0100000000000000");

BEGIN

mcmp[] = check;
omegacmp[] = errs-1; 
one[] = 1;
zero[] = 0;

--*********************
--*** STATE MACHINE ***
--*********************

mx.clk = sysclk;
mx.reset = GND;

CASE mx IS

	WHEN s0 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
	    mx = s1;
	  END IF;

	WHEN s1 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
      mx = s2;
	  END IF;

	WHEN s2 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSIF (mchk[wide] == VCC) THEN
		mx = s77;
	  ELSE	
		mx = s10;
	  END IF;

	WHEN s77 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
		mx = s3;
	  END IF;

	WHEN s3 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSIF (deltazero[m] == VCC) THEN
		mx = s4;
	  ELSE
		mx = s8;
	  END IF;

	WHEN s4 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
		mx = s5;
	  END IF;

	WHEN s5 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSIF (tlm == VCC) THEN
		mx = s6;
	  ELSE
		mx = s8;
	  END IF;

 	WHEN s6 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
		mx = s8;
    END IF;

	WHEN s8 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
		mx = s2;
	  END IF;

	WHEN s10 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
		mx = s11;
	  END IF;

WHEN s11 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
		mx = s12;
	  END IF;

	WHEN s12 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSIF (omegachk[wide] == VCC) THEN
		mx = s12;
	  ELSE
		mx = s99;
	  END IF;

	WHEN s99 =>
	  IF (reset == VCC) THEN
	  	mx = s0;
	  ELSE
		mx = s99;
 	  END IF;

	WHEN others =>
		mx = s0;

END CASE;

loadbd = mst[1];
loadbdprev = mst[2];
loadbdtemp = mst[3];
shiftsynleft = mst[4];
shiftsynright = mst[5];
clearbd = mst[6];
shiftbdprev_lm = mst[7];
deltacalc = mst[8];
newdelta = mst[9];
olddelta = mst[10];
incm = mst[11]; 
incomega = mst[12]; 
initomega = mst[13]; 
calcomega = mst[14];
massdone = mst[15];
shiftbdprev_ml = mst[16];
load_llnum = olddelta;

--************************
--*** SYNDROME SECTION ***
--************************

-- no resets required, loaded after sm reset 
synreg[1][] = (syn[1][] & !shiftsynleft) # 
				  (synreg[2][] & shiftsynleft);
FOR k IN 2 TO errs GENERATE
  synreg[k][] = (syn[k][] & !shiftsynleft & !shiftsynright) # 
				  (synreg[k+1][] & shiftsynleft) #
				  (synreg[k-1][] & shiftsynright);
END GENERATE;
FOR k IN (errs+1) TO (check-1) GENERATE
  synreg[k][] = (syn[k][] & !shiftsynleft) # 
				  (synreg[k+1][] & shiftsynleft);
END GENERATE;
synreg[check][] = (syn[check][] & !shiftsynleft) # (synreg[1][] & shiftsynleft);

synreg[][].clk = sysclk;

synreg[1][].ena = latchsyn # shiftsynleft;   
FOR k IN 2 TO errs GENERATE
  synreg[k][].ena = latchsyn # shiftsynleft # shiftsynright;   
END GENERATE;
FOR k IN (errs+1) TO check GENERATE
  synreg[k][].ena = latchsyn # shiftsynleft;   
END GENERATE;

--******************
--*** BD-OMEGA SECTION ***
--******************

-- load onereg with zero after first shift
-- [m..2] bits always zero, use onenode[]
onereg = latchsyn # loadbdprev;
onereg.ena = shiftbdprev_lm # latchsyn # loadbdprev;
onereg.clk = sysclk;
onenode[1] = onereg;
onenode[m..2] = 0;

FOR k IN 1 TO errs GENERATE
  bd[k][] = (addvec[k][] & !clearbd & !reset);
  bd[K][].ena = (!omsel[K] & loadbd) # clearbd # reset;
END GENERATE;

bd[][].clk = sysclk;

omsel[].clk = sysclk;
omsel[].ena = incomega # reset;

omsel[1] = !reset;
FOR k IN 2 TO errs GENERATE
	omsel[K] = omsel[K-1] & !reset;
end generate;


bdprev[1][] = (((bdtemp[1][] & !shiftbdprev_ml & !shiftbdprev_lm) #
              (onenode[] & !shiftbdprev_ml & shiftbdprev_lm) #
              (bdprev[2][] & shiftbdprev_ml & !shiftbdprev_lm)) & !reset);
IF (errs > 2) generate
  FOR k IN 2 TO errs-1 GENERATE
  bdprev[k][] = (((bdtemp[K][] & !shiftbdprev_ml & !shiftbdprev_lm) #
              (bdprev[K-1][] & !shiftbdprev_ml & shiftbdprev_lm) #
              (bdprev[K+1][] & shiftbdprev_ml & !shiftbdprev_lm)) & !reset);
  END GENERATE;
end generate;
bdprev[errs][] = (((bdtemp[errs][] & !shiftbdprev_ml & !shiftbdprev_lm) #
              (bdprev[errs-1][] & !shiftbdprev_ml & shiftbdprev_lm) #
              (bdprev[1][] & shiftbdprev_ml & !shiftbdprev_lm)) & !reset);

bdprev[][].clk = sysclk;
bdprev[][].ena = loadbdprev # shiftbdprev_lm # shiftbdprev_ml # reset;

-- reset not needed, as initialized with bd[][]
bdtemp[][] = bd[][];
bdtemp[][].clk = sysclk;
bdtemp[][].ena = loadbdtemp;

--********************
--*** CORE SECTION ***
--********************

bdleft[][] = bdprev[][];

FOR k IN 1 to errs GENERATE
--*** calculate new delta ***
  deltaleft[k][] = synreg[check+1-k][];
  deltaright[k][] = bd[k][]; 

-- calculate new bd vector
  bdright[k][] = deltamult[];

  addvec[k][m..1] = bd[k][m..1] $ mulout[k][m..1];  -- GFadd

-- calculate omega
  omegaleft[k][] = synreg[k][];
  omegaright[k][] = (bdprev[1][] & !initomega) # (one[] & initomega);
END GENERATE;


-- multiply
FOR k IN 1 TO errs GENERATE
  mulleft[k][] = (deltaleft[k][] & deltacalc) # 
                 ( (bdleft[k][] & !deltacalc & !calcomega) # (omegaleft[k][] & !deltacalc & calcomega) );
  mulright[k][] = (deltaright[k][] & deltacalc) #
                  ( (bdright[k][] & !deltacalc & !calcomega) # (omegaright[k][] & !deltacalc & calcomega) );
END GENERATE;
mulleft[][].clk = sysclk;
mulright[][].clk = sysclk;

FOR k IN 1 TO errs GENERATE
  mulout[k][] = gfmul (mulleft[k][], mulright[k][])
					WITH (m = m, irrpol = irrpol);
END GENERATE;

-- calculate new delta
mulsum[1][m..1] = mulout[1][m..1] $ synreg[1][m..1];  -- GFadd
FOR k IN 2 TO errs GENERATE
  mulsum[k][m..1] = mulout[k][m..1] $ mulsum[k-1][m..1];  -- GFadd
END GENERATE;

-- reset not needed
delta[] = mulsum[errs][];
delta[].clk = sysclk;
delta[].ena = newdelta;

deltaprev[m..2] = delta[m..2] & !reset;
deltaprev[1] = delta[1] # reset;
deltaprev[].clk = sysclk;
deltaprev[].ena = olddelta # reset;

-- reset not needed, just for timing purposes
deltamult[] = gfdiv (delta[], deltaprev[])
				  WITH (m=m, irrpol=irrpol, inv_file = inv_file);
deltamult[].clk = sysclk;

deltazero[1] = delta[1];
FOR k IN 2 TO m GENERATE
  deltazero[k] = delta[k] # deltazero[k-1];
END GENERATE;

--****************
--*** COUNTERS ***
--****************

mloop[] = mcount.q[];
mcount.clock = sysclk;
mcount.cnt_en = incm;
mcount.sclr = reset;

mchk[1] = mloop[1] $ mcmp[1];
FOR k IN 2 TO wide GENERATE
  mchk[k] = mchk[k-1] # (mloop[k] $ mcmp[k]);
END GENERATE;

-- L = M+1-L

	sub_llnum_mloop.cin = VCC;
	sub_llnum_mloop.dataa[] = mloop[];
	sub_llnum_mloop.datab[] = llnum[];
	llnuma[] = sub_llnum_mloop.result[];

	add_one_llnuma.cin = VCC;
	add_one_llnuma.dataa[] = llnuma[];
	add_one_llnuma.datab[] = zero[];
	llnumnode[] = add_one_llnuma.result[];

--  (llnuma[],,) = lpm_add_sub ( VCC, mloop[], llnum[],,,)
--				  WITH (LPM_WIDTH = wide, LPM_DIRECTION = "SUB");
--  (llnumnode[],,) = lpm_add_sub ( VCC, llnuma[], zero[],,,)
--				     WITH (LPM_WIDTH = wide);

llnum[] = llnumnode[] & !reset;
llnum[].clk = sysclk;
llnum[].ena = load_llnum # reset;

-- 2L <= m?
--  (,,,,,tlm) = lpm_compare ( (llnum[],0), (0,mloop[]),,)
--				 WITH (LPM_WIDTH = (wide+1));

	cmp.dataa[] = (llnum[],0);
	cmp.datab[] = (0,mloop[]);
	tlm = cmp.aleb;

omegaloop[] = omegacount.q[];
omegacount.clock = sysclk;
omegacount.cnt_en = incomega;
omegacount.sclr = reset;

omegachk[1] = omegaloop[1] $ omegacmp[1];
FOR k IN 2 TO wide GENERATE
  omegachk[k] = omegachk[k-1] # (omegaloop[k] $ omegacmp[k]);
END GENERATE;

--***************
--*** OUTPUTS ***
--***************

bdout[][] = bdprev[][];
omegaout[][] = bd[][];
numerr[] = llnum[];
done = massdone;

END;