Subversion Repositories bluespec-h264

// The MIT License

// Copyright (c) 2006-2007 Massachusetts Institute of Technology

// 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.

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

// Entropy Decoder implementation

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

//

//

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 <= tagged CodedSlice 0;

                  5 : state <= tagged CodedSlice 0;

                  6 : state <= tagged SEI;

                  7 : state <= tagged SPS 0;

                  8 : state <= tagged PPS 0;

                  9 : state <= tagged AUD;

                  10: state <= tagged EndSequence;

                  11: state <= tagged EndStream;

                  12: state <= tagged 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(tagged NewUnit rdata);

               outfifo_ITB.enq(tagged 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(tagged SHfirst_mb_in_slice truncate(expgolomb_unsigned(buffer)));

                     currMbAddr <= truncate(expgolomb_unsigned(buffer));

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged CodedSlice 1;

                  end

                  1:

                  begin

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

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

                     shslice_type <= truncate(expgolomb_unsigned(buffer));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged CodedSlice 2;

                  end

                  2:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged 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(tagged SHframe_num tttt);

                     numbitsused = zeroExtend(spslog2_max_frame_num);

                     nextstate = tagged CodedSlice 4;

                  end

                  4:

                  begin

                     if(nalunittype == 5)

                        begin

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

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

                           numbitsused = expgolomb_numbits(buffer);

                        end

                     nextstate = tagged 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(tagged SHpic_order_cnt_lsb tttt);

                           numbitsused = zeroExtend(spslog2_max_pic_order_cnt_lsb);

                           nextstate = tagged CodedSlice 6;

                        end

                     else

                        nextstate = tagged 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 = tagged CodedSlice 6;

                              end

                           else

                              begin

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

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

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

                                 egnumbits <= 0;

                                 numbitsused = egnumbits;

                                 nextstate = tagged CodedSlice 7;

                              end

                        end

                     else

                        nextstate = tagged 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 = tagged CodedSlice 7;

                              end

                           else

                              begin

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

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

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

                                 egnumbits <= 0;

                                 numbitsused = egnumbits;

                                 nextstate = tagged CodedSlice 8;

                              end

                        end

                     else

                        nextstate = tagged 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 = tagged CodedSlice 8;

                              end

                           else

                              begin

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

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

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

                                 egnumbits <= 0;

                                 numbitsused = egnumbits;

                                 nextstate = tagged CodedSlice 9;

                              end

                        end

                     else

                        nextstate = tagged 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(tagged SHnum_ref_idx_active_override_flag buffer[buffersize-1]);

                           numbitsused = 1;

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

                              nextstate = tagged CodedSlice 10;

                           else

                              nextstate = tagged CodedSlice 11;

                        end

                     else

                        nextstate = tagged CodedSlice 11;

                  end

                  10:

                  begin

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

                     outfifo.enq(tagged 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 = tagged 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(tagged SHRref_pic_list_reordering_flag_l0 buffer[buffersize-1]);

                           numbitsused = 1;

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

                              nextstate = tagged CodedSlice 12;

                           else

                              nextstate = tagged CodedSlice 15;

                        end

                     else

                        nextstate = tagged CodedSlice 15;

                  end

                  12:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

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

                        nextstate = tagged CodedSlice 13;

                     else if(expgolomb_unsigned(buffer)==2)

                        nextstate = tagged CodedSlice 14;

                     else

                        nextstate = tagged CodedSlice 15;

                  end

                  13:

                  begin

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

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

                     outfifo.enq(tagged SHRabs_diff_pic_num temp17);

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged CodedSlice 12;

                  end

                  14:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged CodedSlice 12;

                  end

                  15:

                  begin

                     if(nalrefidc == 0)

                        nextstate = tagged CodedSlice 23;

                     else

                        begin

                           if(nalunittype == 5)

                              begin

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

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

                                 numbitsused = 1;

                                 nextstate = tagged CodedSlice 16;

                              end

                           else

                              nextstate = tagged CodedSlice 17;

                        end

                  end

                  16:

                  begin

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

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

                     numbitsused = 1;

                     nextstate = tagged CodedSlice 23;

                  end

                  17:

                  begin

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

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

                     numbitsused = 1;

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

                        nextstate = tagged CodedSlice 18;

                     else

                        nextstate = tagged CodedSlice 23;

                  end

                  18:

                  begin

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

                     outfifo.enq(tagged 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 = tagged CodedSlice 19;

                     else

                        nextstate = tagged 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(tagged SHDdifference_of_pic_nums temp17);

                           numbitsused = expgolomb_numbits(buffer);

                           nextstate = tagged CodedSlice 20;

                        end

                     else

                        nextstate = tagged CodedSlice 20;

                  end

                  20:

                  begin

                     if(shdmemory_management_control_operation==2)

                        begin

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

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

                           numbitsused = expgolomb_numbits(buffer);

                           nextstate = tagged CodedSlice 21;

                        end

                     else

                        nextstate = tagged 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(tagged SHDlong_term_frame_idx truncate(expgolomb_unsigned(buffer)));

                           numbitsused = expgolomb_numbits(buffer);

                           nextstate = tagged CodedSlice 22;

                        end

                     else

                        nextstate = tagged 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(tagged SHDmax_long_term_frame_idx_plus1 truncate(expgolomb_unsigned(buffer)));

                           numbitsused = expgolomb_numbits(buffer);

                           nextstate = tagged CodedSlice 18;

                        end

                     else

                        nextstate = tagged CodedSlice 18;

                  end

                  23:

                  begin

                     tempint = unpack(expgolomb_signed(buffer));

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged CodedSlice 24;

                  end

                  24:

                  begin

                     if(ppsdeblocking_filter_control_present_flag==1)

                        begin

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

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

                           numbitsused = expgolomb_numbits(buffer);

                           if(expgolomb_unsigned(buffer)!=1)

                              nextstate = tagged CodedSlice 25;

                           else

                              nextstate = tagged CodedSlice 27;

                        end

                     else

                        nextstate = tagged CodedSlice 27;

                  end

                  25:

                  begin

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

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged CodedSlice 26;

                  end

                  26:

                  begin

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

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged CodedSlice 27;

                  end

                  27:

                  begin

                     nextstate = tagged SliceData 0;

                  end

                  default: $display( "ERROR EntropyDec: tagged 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 = tagged SPS 1;

                  end

                  1:

                  begin

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

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

                     spsseq_parameter_set_id <= truncate(expgolomb_unsigned(buffer));

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 2;

                  end

                  2:

                  begin

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

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 3;

                  end

                  3:

                  begin

                     let tttt = expgolomb_unsigned(buffer);

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

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

                     spspic_order_cnt_type <= truncate(tttt);

                     numbitsused = expgolomb_numbits(buffer);

                     if(tttt == 0)

                        nextstate = tagged SPS 4;

                     else if(tttt == 1)

                        nextstate = tagged SPS 5;

                     else

                        nextstate = tagged SPS 10;

                  end

                  4:

                  begin

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

                     outfifo.enq(tagged 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 = tagged SPS 10;

                  end

                  5:

                  begin

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

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

                     spsdelta_pic_order_always_zero_flag <= buffer[buffersize-1];

                     numbitsused = 1;

                     nextstate = tagged SPS 6;

                  end

                  6:

                  begin

                     if(egnumbits == 0)

                        begin

                           Bufcount tempbufcount = expgolomb_numbits32(buffer);

                           egnumbits <= tempbufcount;

                           numbitsused = tempbufcount-1;

                           nextstate = tagged SPS 6;

                        end

                     else

                        begin

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

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

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

                           egnumbits <= 0;

                           numbitsused = egnumbits;

                           nextstate = tagged SPS 7;

                        end

                  end

                  7:

                  begin

                     if(egnumbits == 0)

                        begin

                           Bufcount tempbufcount = expgolomb_numbits32(buffer);

                           egnumbits <= tempbufcount;

                           numbitsused = tempbufcount-1;

                           nextstate = tagged SPS 7;

                        end

                     else

                        begin

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

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

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

                           egnumbits <= 0;

                           numbitsused = egnumbits;

                           nextstate = tagged SPS 8;

                        end

                  end

                  8:

                  begin

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

                     outfifo.enq(tagged 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 = tagged SPS 9;

                  end

                  9:

                  begin

                     if(spsnum_ref_frames_in_pic_order_cnt_cycle == 0)

                        nextstate = tagged SPS 10;

                     else

                        begin

                           if(egnumbits == 0)

                              begin

                                 Bufcount tempbufcount = expgolomb_numbits32(buffer);

                                 egnumbits <= tempbufcount;

                                 numbitsused = tempbufcount-1;

                                 nextstate = tagged SPS 9;

                              end

                           else

                              begin

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

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

                                 outfifo.enq(tagged 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 = tagged SPS 9;

                              end

                        end

                  end

                  10:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 11;

                  end

                  11:

                  begin

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

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

                     numbitsused = 1;

                     nextstate = tagged SPS 12;

                  end

                  12:

                  begin

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

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 13;

                  end

                  13:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 14;

                  end

                  14:

                  begin

                     //SPSframe_mbs_only_flag = 1 for baseline

                     numbitsused = 1;

                     nextstate = tagged SPS 15;

                  end

                  15:

                  begin

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

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

                     numbitsused = 1;

                     nextstate = tagged SPS 16;

                  end

                  16:

                  begin

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

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

                     numbitsused = 1;

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

                        nextstate = tagged SPS 17;

                     else

                        nextstate = tagged SPS 21;

                  end

                  17:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 18;

                  end

                  18:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 19;

                  end

                  19:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 20;

                  end

                  20:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged SPS 21;

                  end

                  21:

                  begin

                     nextstate = Start;

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

                  end

                  default: $display( "ERROR EntropyDec: tagged 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(tagged PPSpic_parameter_set_id truncate(expgolomb_unsigned(buffer)));

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged PPS 1;

                  end

                  1:

                  begin

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

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

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged 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 = tagged PPS 3;

                  end

                  3:

                  begin

                     ppspic_order_present_flag <= buffer[buffersize-1];

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

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

                     numbitsused = 1;

                     nextstate = tagged PPS 4;

                  end

                  4:

                  begin

                     numbitsused = expgolomb_numbits(buffer);

                     nextstate = tagged PPS 5;

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

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

                  end

                  5: