Subversion Repositories bluespec-h264

//**********************************************************************

// Entropy Decoder (parser) implementation

//----------------------------------------------------------------------

// Section 7 in spec

//

//

package mkEntropyDec;

import H264Types::*;

import ExpGolomb::*;

import CAVLC::*;

import ICalc_nC::*;

import mkCalc_nC::*;

import IEntropyDec::*;

import FIFO::*;

import Connectable::*;

import GetPut::*;

import ClientServer::*;

//-----------------------------------------------------------

// Local Datatypes

//-----------------------------------------------------------

typedef union tagged

{

 void     Start;            //special state that initializes the process.

 void     NewUnit;          //special state that checks the NAL unit type.

 Bit#(5)  CodedSlice;       //decodes a type of NAL unit

 void     SEI;              //decodes a type of NAL unit

 Bit#(5)  SPS;              //decodes a type of NAL unit

 Bit#(5)  PPS;              //decodes a type of NAL unit

 void     AUD;              //decodes a type of NAL unit

 void     EndSequence;      //decodes a type of NAL unit

 void     EndStream;        //decodes a type of NAL unit

 void     Filler;           //decodes a type of NAL unit

 Bit#(5)  SliceData;        //decodes slice data (part of a CodedSlice NAL unit)

 Bit#(5)  MacroblockLayer;  //decodes macroblock layer (part of a CodedSlice NAL unit)

 Bit#(5)  MbPrediction;     //decodes macroblock prediction (part of a CodedSlice NAL unit)

 Bit#(5)  SubMbPrediction;  //decodes sub-macroblock prediction (part of a CodedSlice NAL unit)

 Bit#(5)  ResidualBlock;    //decodes residual block (part of a CodedSlice NAL unit)

}

State deriving(Eq,Bits);

//-----------------------------------------------------------

// Helper functions

function MbType mbtype_convert( Bit#(5) in_mb_type, Bit#(4) in_slice_type );//converts mb_type syntax element to MbType type

   Bit#(5) tempmb = in_mb_type;

   if(in_slice_type == 2 || in_slice_type == 7)//I slice

      tempmb = in_mb_type+5;

   case ( tempmb )

      0: return P_L0_16x16;

      1: return P_L0_L0_16x8;

      2: return P_L0_L0_8x16;

      3: return P_8x8;

      4: return P_8x8ref0;

      5: return I_NxN;

      30: return I_PCM;

      default:

      begin

         Bit#(5) tempmb16x16 = tempmb-6;

         Bit#(2) tempv1 = tempmb16x16[1:0];

         Bit#(2) tempv2;

         Bit#(1) tempv3;

         if(tempmb16x16 < 12)

            begin

               tempv3 = 0;

               tempv2 = tempmb16x16[3:2];

            end

         else

            begin

               tempv3 = 1;

               tempv2 = tempmb16x16[3:2]+1;

            end

         return I_16x16{intra16x16PredMode:tempv1, codedBlockPatternChroma:tempv2, codedBlockPatternLuma:tempv3};

      end

   endcase

endfunction

//-----------------------------------------------------------

// Entropy Decoder Module

//-----------------------------------------------------------

(* synthesize *)

module mkEntropyDec( IEntropyDec );

   FIFO#(NalUnwrapOT)       infifo      <- mkSizedFIFO(entropyDec_infifo_size);

   FIFO#(EntropyDecOT)      outfifo     <- mkFIFO;

   FIFO#(EntropyDecOT_InverseTrans) outfifo_ITB <- mkFIFO;

   Reg#(State)              state       <- mkReg(Start);

   Reg#(Bit#(2))            nalrefidc   <- mkReg(0);

   Reg#(Bit#(5))            nalunittype <- mkReg(0);

   Reg#(Buffer)             buffer      <- mkReg(0);

   Reg#(Bufcount)           bufcount    <- mkReg(0);

   //saved syntax elements

   Reg#(Bit#(5))              spsseq_parameter_set_id                    <- mkReg(0);

   Reg#(Bit#(5))              spslog2_max_frame_num                      <- mkReg(0);

   Reg#(Bit#(5))              spslog2_max_pic_order_cnt_lsb              <- mkReg(0);

   Reg#(Bit#(2))              spspic_order_cnt_type                      <- mkReg(0);

   Reg#(Bit#(1))              spsdelta_pic_order_always_zero_flag        <- mkReg(0);

   Reg#(Bit#(8))              spsnum_ref_frames_in_pic_order_cnt_cycle   <- mkReg(0);

   Reg#(Bit#(8))              ppspic_parameter_set_id                    <- mkReg(0);

   Reg#(Bit#(1))              ppspic_order_present_flag                  <- mkReg(0);

   Reg#(Bit#(1))              ppsdeblocking_filter_control_present_flag  <- mkReg(0);

   Reg#(Bit#(4))              shslice_type                               <- mkReg(0);

   Reg#(Bit#(3))              shdmemory_management_control_operation     <- mkReg(0);

   Reg#(MbType)               sdmmbtype                                  <- mkReg(I_NxN);

   Reg#(Bit#(4))              sdmcodedBlockPatternLuma                   <- mkReg(0);

   Reg#(Bit#(2))              sdmcodedBlockPatternChroma                 <- mkReg(0);

   Reg#(Bit#(5))              sdmrTotalCoeff                             <- mkReg(0);

   Reg#(Bit#(2))              sdmrTrailingOnes                           <- mkReg(0);

   //derived decoding variables for slice data

   Reg#(Bit#(16))             tempreg                                    <- mkReg(0);

   Reg#(Bit#(5))              num_ref_idx_l0_active_minus1               <- mkReg(0);

   Reg#(Bit#(PicAreaSz))      currMbAddr                                 <- mkReg(0);

   Reg#(Bit#(3))              temp3bit0                                  <- mkReg(0);

   Reg#(Bit#(3))              temp3bit1                                  <- mkReg(0);

   Reg#(Bit#(3))              temp3bit2                                  <- mkReg(0);

   Reg#(Bit#(3))              temp3bit3                                  <- mkReg(0);

   Reg#(Bit#(5))              temp5bit                                   <- mkReg(0);

   Reg#(Bit#(5))              temp5bit2                                  <- mkReg(0);

   Reg#(Bit#(5))              maxNumCoeff                                <- mkReg(0);

   FIFO#(Bit#(13))            cavlcFIFO                                  <- mkSizedFIFO(16);

   Calc_nC                    calcnc                                     <- mkCalc_nC();

   Reg#(Bit#(1))              residualChroma                             <- mkReg(0);

   Reg#(Bit#(5))              totalCoeff                                 <- mkReg(0);

   Reg#(Bit#(4))              zerosLeft                                  <- mkReg(0);

   //exp-golomb 32-bit version states

   Reg#(Bufcount)             egnumbits                                  <- mkReg(0);

   //extra-buffering states

   Reg#(Bit#(32))             extrabuffer                                <- mkReg(0);

   Reg#(Bit#(3))              extrabufcount                              <- mkReg(0);

   Reg#(Bit#(1))              extraendnalflag                            <- mkReg(0);

   Reg#(Bit#(1))              endnalflag                                 <- mkReg(0);

   //-----------------------------------------------------------

   // Rules

   rule startup (state matches Start);

      case (infifo.first()) matches

         tagged NewUnit :

            begin

               infifo.deq();

               state <= NewUnit;

               buffer <= 0;

               bufcount <= 0;

               extrabuffer <= 0;

               extrabufcount <= 0;

               extraendnalflag <= 0;

               endnalflag <= 0;

            end

         tagged RbspByte .rdata :

            begin

               infifo.deq();

            end

         tagged EndOfFile :

            begin

               infifo.deq();

               outfifo.enq(EndOfFile);

               $display( "INFO EntropyDec: EndOfFile reached" );

            end

      endcase

   endrule

   rule newunit (state matches NewUnit);

      case (infifo.first()) matches

         tagged NewUnit : state <= Start;

         tagged RbspByte .rdata :

            begin

               infifo.deq();

               nalrefidc <= rdata[6:5];

               nalunittype <= rdata[4:0];

               case (rdata[4:0])

                  1 : state <= CodedSlice (0);

                  5 : state <= CodedSlice (0);

                  6 : state <= SEI;

                  7 : state <= SPS (0);

                  8 : state <= PPS (0);

                  9 : state <= AUD;

                  10: state <= EndSequence;

                  11: state <= EndStream;

                  12: state <= Filler;

                  default:

                  begin

                     $display( "ERROR EntropyDec: NAL Unit Type = %d", rdata[4:0] );

                     state <= Start;

                  end

               endcase

               $display("ccl2newunit");

               $display("ccl2rbspbyte %h", rdata);

               outfifo.enq(NewUnit (rdata));

               outfifo_ITB.enq(NewUnit (rdata));

            end

         tagged EndOfFile : state <= Start;

      endcase

   endrule

   rule fillextrabuffer (state != Start

                         && state != NewUnit

                         && extrabufcount < 4

                         && extraendnalflag == 0);

      if(infifo.first() matches tagged RbspByte .dbyte)

         begin

            case ( extrabufcount )

               0: extrabuffer <= {dbyte, extrabuffer[23:0]};

               1: extrabuffer <= {extrabuffer[31:24],dbyte,extrabuffer[15:0]};

               2: extrabuffer <= {extrabuffer[31:16],dbyte,extrabuffer[7:0]};

               3: extrabuffer <= {extrabuffer[31:8],dbyte};

               default: $display( "ERROR EntropyDec: fillextrabuffer default case_" );

            endcase

            extrabufcount <= extrabufcount + 1;

            infifo.deq();

            //$display( "TRACE EntropyDec: fillextrabuffer RbspByte %h %h %h", dbyte, extrabufcount, extrabuffer);

         end

      else

         begin

            if(extrabufcount != 0)

               extraendnalflag <= 1;

            //$display( "TRACE EntropyDec: fillextrabuffer else %h", extrabufcount);

         end

   endrule

   rule fillbuffer (state != Start

                    && state != NewUnit

                    && bufcount<=truncate(buffersize-32)

                    && (extrabufcount == 4 || extraendnalflag == 1)

                    && endnalflag == 0);//predicate not sure

      Buffer temp = zeroExtend(extrabuffer);

      Bufcount temp2 = truncate(buffersize)-bufcount-32;

      buffer <= (buffer | (temp << zeroExtend(temp2)));

      case ( extrabufcount )

         4: bufcount <= bufcount+32;

         3: bufcount <= bufcount+24;

         2: bufcount <= bufcount+16;

         1: bufcount <= bufcount+8;

         default: $display( "ERROR EntropyDec: fillbuffer default case" );

      endcase

      extrabuffer <= 0;

      extrabufcount <= 0;

      if(infifo.first()==NewUnit || infifo.first()==EndOfFile)

         endnalflag <= 1;

      //$display( "TRACE EntropyDec: fillbuffer RbspByte %h %h %h %h %h %h %h %h", extrabufcount, bufcount, extrabuffer, temp, temp2, (temp << zeroExtend(temp2)), buffer, (buffer | (temp << zeroExtend(temp2))));

   endrule

   rule parser (state != Start

                &&& state != NewUnit

                &&& (bufcount > truncate(buffersize-32) || endnalflag == 1));//predicate not sure

      //$display( "TRACE EntropyDec: fillbuffer RbspByte %h %h", bufcount, buffer );

      Bufcount numbitsused = 0;

      State nextstate = Start;

      Int#(16) tempint = 0;

      Int#(32) tempint32 = 0;

      case ( state ) matches

         tagged CodedSlice .step :

            begin

               case ( step )

                  0:

                  begin

                     $display( "ccl2SHfirst_mb_in_slice %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SHfirst_mb_in_slice (truncate(expgolomb_unsigned(buffer))));

                     currMbAddr <= truncate(expgolomb_unsigned(buffer));

                     calcnc.initialize(truncate(expgolomb_unsigned(buffer)));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (1);

                  end

                  1:

                  begin

                     $display( "ccl2SHslice_type %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SHslice_type (truncate(expgolomb_unsigned(buffer))));

                     shslice_type <= truncate(expgolomb_unsigned(buffer));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (2);

                  end

                  2:

                  begin

                     $display( "ccl2SHpic_parameter_set_id %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SHpic_parameter_set_id (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (3);

                     if(ppspic_parameter_set_id != truncate(expgolomb_unsigned(buffer))) $display( "ERROR EntropyDec: pic_parameter_set_id don't match" );

                  end

                  3:

                  begin

                     Bit#(16) tttt = buffer[buffersize-1:buffersize-16];

                     tttt = tttt >> 16 - zeroExtend(spslog2_max_frame_num);

                     $display( "ccl2SHframe_num %0d", tttt );

                     outfifo.enq(SHframe_num (tttt));

                     numbitsused = zeroExtend(spslog2_max_frame_num);

                     nextstate = CodedSlice (4);

                  end

                  4:

                  begin

                     if(nalunittype == 5)

                        begin

                           $display( "ccl2SHidr_pic_id %0d", expgolomb_unsigned(buffer) );

                           outfifo.enq(SHidr_pic_id (truncate(expgolomb_unsigned(buffer))));

                           numbitsused = expgolomb_numbits(buffer);

                        end

                     nextstate = CodedSlice (5);

                  end

                  5:

                  begin

                     if(spspic_order_cnt_type == 0)

                        begin

                           Bit#(16) tttt = buffer[buffersize-1:buffersize-16];

                           tttt = tttt >> 16 - zeroExtend(spslog2_max_pic_order_cnt_lsb);

                           $display( "ccl2SHpic_order_cnt_lsb %0d", tttt );

                           outfifo.enq(SHpic_order_cnt_lsb (tttt));

                           numbitsused = zeroExtend(spslog2_max_pic_order_cnt_lsb);

                           nextstate = CodedSlice (6);

                        end

                     else

                        nextstate = CodedSlice (7);

                  end

                  6:

                  begin

                     if(ppspic_order_present_flag == 1)

                        begin

                           if(egnumbits == 0)

                              begin

                                 Bufcount tempbufcount = expgolomb_numbits32(buffer);

                                 egnumbits <= tempbufcount;

                                 numbitsused = tempbufcount-1;

                                 nextstate = CodedSlice (6);

                              end

                           else

                              begin

                                 tempint32 = unpack(expgolomb_signed32(buffer,egnumbits));

                                 $display( "ccl2SHdelta_pic_order_cnt_bottom %0d", tempint32 );

                                 outfifo.enq(SHdelta_pic_order_cnt_bottom (truncate(expgolomb_signed32(buffer,egnumbits))));

                                 egnumbits <= 0;

                                 numbitsused = egnumbits;

                                 nextstate = CodedSlice (7);

                              end

                        end

                     else

                        nextstate = CodedSlice (7);

                  end

                  7:

                  begin

                     if(spspic_order_cnt_type == 1 && spsdelta_pic_order_always_zero_flag == 0)

                        begin

                           if(egnumbits == 0)

                              begin

                                 Bufcount tempbufcount = expgolomb_numbits32(buffer);

                                 egnumbits <= tempbufcount;

                                 numbitsused = tempbufcount-1;

                                 nextstate = CodedSlice (7);

                              end

                           else

                              begin

                                 tempint32 = unpack(expgolomb_signed32(buffer,egnumbits));

                                 $display( "ccl2SHdelta_pic_order_cnt0 %0d", tempint32 );

                                 outfifo.enq(SHdelta_pic_order_cnt0 (truncate(expgolomb_signed32(buffer,egnumbits))));

                                 egnumbits <= 0;

                                 numbitsused = egnumbits;

                                 nextstate = CodedSlice (8);

                              end

                        end

                     else

                        nextstate = CodedSlice (9);

                  end

                  8:

                  begin

                     if(ppspic_order_present_flag == 1)

                        begin

                           if(egnumbits == 0)

                              begin

                                 Bufcount tempbufcount = expgolomb_numbits32(buffer);

                                 egnumbits <= tempbufcount;

                                 numbitsused = tempbufcount-1;

                                 nextstate = CodedSlice (8);

                              end

                           else

                              begin

                                 tempint32 = unpack(expgolomb_signed32(buffer,egnumbits));

                                 $display( "ccl2SHdelta_pic_order_cnt1 %0d", tempint32 );

                                 outfifo.enq(SHdelta_pic_order_cnt1 (truncate(expgolomb_signed32(buffer,egnumbits))));

                                 egnumbits <= 0;

                                 numbitsused = egnumbits;

                                 nextstate = CodedSlice (9);

                              end

                        end

                     else

                        nextstate = CodedSlice (9);

                  end

                  9:

                  begin

                     if(shslice_type == 0 || shslice_type == 5)

                        begin

                           $display( "ccl2SHnum_ref_idx_active_override_flag %0d", buffer[buffersize-1] );

                           outfifo.enq(SHnum_ref_idx_active_override_flag (buffer[buffersize-1]));

                           numbitsused = 1;

                           if(buffer[buffersize-1] == 1)

                              nextstate = CodedSlice (10);

                           else

                              nextstate = CodedSlice (11);

                        end

                     else

                        nextstate = CodedSlice (11);

                  end

                  10:

                  begin

                     $display( "ccl2SHnum_ref_idx_l0_active %0d", expgolomb_unsigned(buffer)+1 );

                     outfifo.enq(SHnum_ref_idx_l0_active (truncate(expgolomb_unsigned(buffer)+1)));

                     num_ref_idx_l0_active_minus1 <= truncate(expgolomb_unsigned(buffer));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (11);

                  end

                  11:

                  begin

                     if(shslice_type != 2 && shslice_type != 7)

                        begin

                           $display( "ccl2SHRref_pic_list_reordering_flag_l0 %0d", buffer[buffersize-1] );

                           outfifo.enq(SHRref_pic_list_reordering_flag_l0 (buffer[buffersize-1]));

                           numbitsused = 1;

                           if(buffer[buffersize-1] == 1)

                              nextstate = CodedSlice (12);

                           else

                              nextstate = CodedSlice (15);

                        end

                     else

                        nextstate = CodedSlice (15);

                  end

                  12:

                  begin

                     $display( "ccl2SHRreordering_of_pic_nums_idc %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SHRreordering_of_pic_nums_idc (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     if(expgolomb_unsigned(buffer)==0 || expgolomb_unsigned(buffer)==1)

                        nextstate = CodedSlice (13);

                     else if(expgolomb_unsigned(buffer)==2)

                        nextstate = CodedSlice (14);

                     else

                        nextstate = CodedSlice (15);

                  end

                  13:

                  begin

                     Bit#(17) temp17 = zeroExtend(expgolomb_unsigned(buffer)) + 1;

                     $display( "ccl2SHRabs_diff_pic_num %0d", temp17 );

                     outfifo.enq(SHRabs_diff_pic_num (temp17));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (12);

                  end

                  14:

                  begin

                     $display( "ccl2SHRlong_term_pic_num %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SHRlong_term_pic_num (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (12);

                  end

                  15:

                  begin

                     if(nalrefidc == 0)

                        nextstate = CodedSlice (23);

                     else

                        begin

                           if(nalunittype == 5)

                              begin

                                 $display( "ccl2SHDno_output_of_prior_pics_flag %0d", buffer[buffersize-1] );

                                 outfifo.enq(SHDno_output_of_prior_pics_flag (buffer[buffersize-1]));

                                 numbitsused = 1;

                                 nextstate = CodedSlice (16);

                              end

                           else

                              nextstate = CodedSlice (17);

                        end

                  end

                  16:

                  begin

                     $display( "ccl2SHDlong_term_reference_flag %0d", buffer[buffersize-1] );

                     outfifo.enq(SHDlong_term_reference_flag (buffer[buffersize-1]));

                     numbitsused = 1;

                     nextstate = CodedSlice (23);

                  end

                  17:

                  begin

                     $display( "ccl2SHDadaptive_ref_pic_marking_mode_flag %0d", buffer[buffersize-1] );

                     outfifo.enq(SHDadaptive_ref_pic_marking_mode_flag (buffer[buffersize-1]));

                     numbitsused = 1;

                     if(buffer[buffersize-1] == 1)

                        nextstate = CodedSlice (18);

                     else

                        nextstate = CodedSlice (23);

                  end

                  18:

                  begin

                     $display( "ccl2SHDmemory_management_control_operation %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SHDmemory_management_control_operation (truncate(expgolomb_unsigned(buffer))));

                     shdmemory_management_control_operation <= truncate(expgolomb_unsigned(buffer));

                     numbitsused = expgolomb_numbits(buffer);

                     if(expgolomb_unsigned(buffer)!=0)

                        nextstate = CodedSlice (19);

                     else

                        nextstate = CodedSlice (23);

                  end

                  19:

                  begin

                     if(shdmemory_management_control_operation==1 || shdmemory_management_control_operation==3)

                        begin

                           Bit#(17) temp17 = zeroExtend(expgolomb_unsigned(buffer)) + 1;

                           $display( "ccl2SHDdifference_of_pic_nums %0d", temp17 );

                           outfifo.enq(SHDdifference_of_pic_nums (temp17));

                           numbitsused = expgolomb_numbits(buffer);

                           nextstate = CodedSlice (20);

                        end

                     else

                        nextstate = CodedSlice (20);

                  end

                  20:

                  begin

                     if(shdmemory_management_control_operation==2)

                        begin

                           $display( "ccl2SHDlong_term_pic_num %0d", expgolomb_unsigned(buffer) );

                           outfifo.enq(SHDlong_term_pic_num (truncate(expgolomb_unsigned(buffer))));

                           numbitsused = expgolomb_numbits(buffer);

                           nextstate = CodedSlice (21);

                        end

                     else

                        nextstate = CodedSlice (21);

                  end

                  21:

                  begin

                     if(shdmemory_management_control_operation==3 || shdmemory_management_control_operation==6)

                        begin

                           $display( "ccl2SHDlong_term_frame_idx %0d", expgolomb_unsigned(buffer) );

                           outfifo.enq(SHDlong_term_frame_idx (truncate(expgolomb_unsigned(buffer))));

                           numbitsused = expgolomb_numbits(buffer);

                           nextstate = CodedSlice (22);

                        end

                     else

                        nextstate = CodedSlice (22);

                  end

                  22:

                  begin

                     if(shdmemory_management_control_operation==4)

                        begin

                           $display( "ccl2SHDmax_long_term_frame_idx_plus1 %0d", expgolomb_unsigned(buffer) );

                           outfifo.enq(SHDmax_long_term_frame_idx_plus1 (truncate(expgolomb_unsigned(buffer))));

                           numbitsused = expgolomb_numbits(buffer);

                           nextstate = CodedSlice (18);

                        end

                     else

                        nextstate = CodedSlice (18);

                  end

                  23:

                  begin

                     tempint = unpack(expgolomb_signed(buffer));

                     $display( "ccl2SHslice_qp_delta %0d", tempint );

                     outfifo_ITB.enq(SHslice_qp_delta (truncate(expgolomb_signed(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (24);

                  end

                  24:

                  begin

                     if(ppsdeblocking_filter_control_present_flag==1)

                        begin

                           $display( "ccl2SHdisable_deblocking_filter_idc %0d", expgolomb_unsigned(buffer) );

                           outfifo.enq(SHdisable_deblocking_filter_idc (truncate(expgolomb_unsigned(buffer))));

                           numbitsused = expgolomb_numbits(buffer);

                           if(expgolomb_unsigned(buffer)!=1)

                              nextstate = CodedSlice (25);

                           else

                              nextstate = CodedSlice (27);

                        end

                     else

                        nextstate = CodedSlice (27);

                  end

                  25:

                  begin

                     tempint = unpack(expgolomb_signed(buffer) << 1);

                     $display( "ccl2SHslice_alpha_c0_offset %0d", tempint );

                     outfifo.enq(SHslice_alpha_c0_offset (truncate(expgolomb_signed(buffer) << 1)));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (26);

                  end

                  26:

                  begin

                     tempint = unpack(expgolomb_signed(buffer) << 1);

                     $display( "ccl2SHslice_beta_offset %0d", tempint );

                     outfifo.enq(SHslice_beta_offset (truncate(expgolomb_signed(buffer) << 1)));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = CodedSlice (27);

                  end

                  27:

                  begin

                     nextstate = SliceData (0);

                  end

                  default: $display( "ERROR EntropyDec: CodedSlice default step" );

               endcase

            end

         tagged SEI .step :

            begin

               nextstate = Start;

               $display( "INFO EntropyDec: SEI data thrown away" );

            end

         tagged SPS .step :

            begin

               case ( step )

                  0:

                  begin

                     Bit#(8) outputdata = buffer[buffersize-1:buffersize-8];

                     $display( "INFO EntropyDec: profile_idc = %d", outputdata );

                     outputdata = buffer[buffersize-9:buffersize-16];

                     $display( "INFO EntropyDec: constraint_set = %b", outputdata );

                     outputdata = buffer[buffersize-17:buffersize-24];

                     $display( "INFO EntropyDec: level_idc = %d", outputdata );

                     numbitsused = 24;

                     nextstate = SPS (1);

                  end

                  1:

                  begin

                     $display( "ccl2SPSseq_parameter_set_id %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SPSseq_parameter_set_id (truncate(expgolomb_unsigned(buffer))));

                     spsseq_parameter_set_id <= truncate(expgolomb_unsigned(buffer));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (2);

                  end

                  2:

                  begin

                     $display( "ccl2SPSlog2_max_frame_num %0d", expgolomb_unsigned(buffer)+4 );

                     outfifo.enq(SPSlog2_max_frame_num (truncate(expgolomb_unsigned(buffer)+4)));

                     spslog2_max_frame_num <= truncate(expgolomb_unsigned(buffer)+4);

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (3);

                  end

                  3:

                  begin

                     let tttt = expgolomb_unsigned(buffer);

                     $display( "ccl2SPSpic_order_cnt_type %0d", tttt );

                     outfifo.enq(SPSpic_order_cnt_type (truncate(tttt)));

                     spspic_order_cnt_type <= truncate(tttt);

                     numbitsused = expgolomb_numbits(buffer);

                     if(tttt == 0)

                        nextstate = SPS (4);

                     else if(tttt == 1)

                        nextstate = SPS (5);

                     else

                        nextstate = SPS (10);

                  end

                  4:

                  begin

                     $display( "ccl2SPSlog2_max_pic_order_cnt_lsb %0d", expgolomb_unsigned(buffer)+4 );

                     outfifo.enq(SPSlog2_max_pic_order_cnt_lsb (truncate(expgolomb_unsigned(buffer)+4)));

                     spslog2_max_pic_order_cnt_lsb <= truncate(expgolomb_unsigned(buffer)+4);

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (10);

                  end

                  5:

                  begin

                     $display( "ccl2SPSdelta_pic_order_always_zero_flag %0d", buffer[buffersize-1] );

                     outfifo.enq(SPSdelta_pic_order_always_zero_flag (buffer[buffersize-1]));

                     spsdelta_pic_order_always_zero_flag <= buffer[buffersize-1];

                     numbitsused = 1;

                     nextstate = SPS (6);

                  end

                  6:

                  begin

                     if(egnumbits == 0)

                        begin

                           Bufcount tempbufcount = expgolomb_numbits32(buffer);

                           egnumbits <= tempbufcount;

                           numbitsused = tempbufcount-1;

                           nextstate = SPS (6);

                        end

                     else

                        begin

                           tempint32 = unpack(expgolomb_signed32(buffer,egnumbits));

                           $display( "ccl2SPSoffset_for_non_ref_pic %0d", tempint32 );

                           outfifo.enq(SPSoffset_for_non_ref_pic (truncate(expgolomb_signed32(buffer,egnumbits))));

                           egnumbits <= 0;

                           numbitsused = egnumbits;

                           nextstate = SPS (7);

                        end

                  end

                  7:

                  begin

                     if(egnumbits == 0)

                        begin

                           Bufcount tempbufcount = expgolomb_numbits32(buffer);

                           egnumbits <= tempbufcount;

                           numbitsused = tempbufcount-1;

                           nextstate = SPS (7);

                        end

                     else

                        begin

                           tempint32 = unpack(expgolomb_signed32(buffer,egnumbits));

                           $display( "ccl2SPSoffset_for_top_to_bottom_field %0d", tempint32 );

                           outfifo.enq(SPSoffset_for_top_to_bottom_field (truncate(expgolomb_signed32(buffer,egnumbits))));

                           egnumbits <= 0;

                           numbitsused = egnumbits;

                           nextstate = SPS (8);

                        end

                  end

                  8:

                  begin

                     $display( "ccl2SPSnum_ref_frames_in_pic_order_cnt_cycle %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SPSnum_ref_frames_in_pic_order_cnt_cycle (truncate(expgolomb_unsigned(buffer))));

                     spsnum_ref_frames_in_pic_order_cnt_cycle <= truncate(expgolomb_unsigned(buffer));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (9);

                  end

                  9:

                  begin

                     if(spsnum_ref_frames_in_pic_order_cnt_cycle == 0)

                        nextstate = SPS (10);

                     else

                        begin

                           if(egnumbits == 0)

                              begin

                                 Bufcount tempbufcount = expgolomb_numbits32(buffer);

                                 egnumbits <= tempbufcount;

                                 numbitsused = tempbufcount-1;

                                 nextstate = SPS (9);

                              end

                           else

                              begin

                                 tempint32 = unpack(expgolomb_signed32(buffer,egnumbits));

                                 $display( "ccl2SPSoffset_for_ref_frame %0d", tempint32 );

                                 outfifo.enq(SPSoffset_for_ref_frame (truncate(expgolomb_signed32(buffer,egnumbits))));

                                 egnumbits <= 0;

                                 spsnum_ref_frames_in_pic_order_cnt_cycle <= spsnum_ref_frames_in_pic_order_cnt_cycle - 1;

                                 numbitsused = egnumbits;

                                 nextstate = SPS (9);

                              end

                        end

                  end

                  10:

                  begin

                     $display( "ccl2SPSnum_ref_frames %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SPSnum_ref_frames (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (11);

                  end

                  11:

                  begin

                     $display( "ccl2SPSgaps_in_frame_num_allowed_flag %0d", buffer[buffersize-1] );

                     outfifo.enq(SPSgaps_in_frame_num_allowed_flag (buffer[buffersize-1]));

                     numbitsused = 1;

                     nextstate = SPS (12);

                  end

                  12:

                  begin

                     $display( "ccl2SPSpic_width_in_mbs %0d", expgolomb_unsigned(buffer)+1 );

                     outfifo.enq(SPSpic_width_in_mbs (truncate(expgolomb_unsigned(buffer)+1)));

                     calcnc.initialize_picWidth(truncate(expgolomb_unsigned(buffer)+1));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (13);

                  end

                  13:

                  begin

                     $display( "ccl2SPSpic_height_in_map_units %0d", expgolomb_unsigned(buffer)+1 );

                     outfifo.enq(SPSpic_height_in_map_units (truncate(expgolomb_unsigned(buffer)+1)));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (14);

                  end

                  14:

                  begin

                     //SPSframe_mbs_only_flag = 1 for baseline

                     numbitsused = 1;

                     nextstate = SPS (15);

                  end

                  15:

                  begin

                     $display( "ccl2SPSdirect_8x8_inference_flag %0d", buffer[buffersize-1] );

                     outfifo.enq(SPSdirect_8x8_inference_flag (buffer[buffersize-1]));

                     numbitsused = 1;

                     nextstate = SPS (16);

                  end

                  16:

                  begin

                     $display( "ccl2SPSframe_cropping_flag %0d", buffer[buffersize-1] );

                     outfifo.enq(SPSframe_cropping_flag (buffer[buffersize-1]));

                     numbitsused = 1;

                     if(buffer[buffersize-1] == 1)

                        nextstate = SPS (17);

                     else

                        nextstate = SPS (21);

                  end

                  17:

                  begin

                     $display( "ccl2SPSframe_crop_left_offset %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SPSframe_crop_left_offset (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (18);

                  end

                  18:

                  begin

                     $display( "ccl2SPSframe_crop_right_offset %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SPSframe_crop_right_offset (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (19);

                  end

                  19:

                  begin

                     $display( "ccl2SPSframe_crop_top_offset %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SPSframe_crop_top_offset (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (20);

                  end

                  20:

                  begin

                     $display( "ccl2SPSframe_crop_bottom_offset %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(SPSframe_crop_bottom_offset (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = SPS (21);

                  end

                  21:

                  begin

                     nextstate = Start;

                     $display( "INFO EntropyDec:VUI data thrown away" );

                  end

                  default: $display( "ERROR EntropyDec: SPS default step" );

               endcase

            end

         tagged PPS .step :

            begin

               case ( step )

                  0:

                  begin

                     ppspic_parameter_set_id <= truncate(expgolomb_unsigned(buffer));

                     $display( "ccl2PPSpic_parameter_set_id %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(PPSpic_parameter_set_id (truncate(expgolomb_unsigned(buffer))));

                     outfifo_ITB.enq(PPSpic_parameter_set_id (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = PPS (1);

                  end

                  1:

                  begin

                     $display( "ccl2PPSseq_parameter_set_id %0d", expgolomb_unsigned(buffer) );

                     outfifo.enq(PPSseq_parameter_set_id (truncate(expgolomb_unsigned(buffer))));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = PPS (2);

                     if(spsseq_parameter_set_id != truncate(expgolomb_unsigned(buffer)))

                        $display( "ERROR EntropyDec: seq_parameter_set_id don't match" );

                  end

                  2:

                  begin

                     //PPSentropy_coding_mode_flag = 0 for baseline

                     numbitsused = 1;

                     nextstate = PPS (3);

                  end

                  3:

                  begin

                     ppspic_order_present_flag <= buffer[buffersize-1];

                     $display( "ccl2PPSpic_order_present_flag %0d", buffer[buffersize-1] );

                     outfifo.enq(PPSpic_order_present_flag (buffer[buffersize-1]));

                     numbitsused = 1;

                     nextstate = PPS (4);

                  end

                  4:

                  begin

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = PPS (5);

                     if(expgolomb_unsigned(buffer)+1 != 1)

                        $display( "ERROR EntropyDec: PPSnum_slice_groups not equal to 1" );//=1 for main

                  end

                  5:

                  begin

                     $display( "ccl2PPSnum_ref_idx_l0_active %0d", expgolomb_unsigned(buffer)+1 );

                     outfifo.enq(PPSnum_ref_idx_l0_active (truncate(expgolomb_unsigned(buffer)+1)));

                     num_ref_idx_l0_active_minus1 <= truncate(expgolomb_unsigned(buffer));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = PPS (6);

                  end

                  6:

                  begin

                     $display( "ccl2PPSnum_ref_idx_l1_active %0d", expgolomb_unsigned(buffer)+1 );

                     outfifo.enq(PPSnum_ref_idx_l1_active (truncate(expgolomb_unsigned(buffer)+1)));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = PPS (7);

                  end

                  7:

                  begin

                     //PPSweighted_pred_flag = 0 for baseline; PPSweighted_bipred_idc = 0 for baseline

                     numbitsused = 3;

                     nextstate = PPS (8);

                  end

                  8: