利用Verilog HDL实现万年历

利用Verilog HDL实现万年历

---

by:limanjihe
1. 功能要求：
能够显示年月日，星期，时分秒，并且实现闰年的自动调整。覆盖率不低于90%，且能通过DC综合。

2. 设置的输入的功能：
显示的时间范围为1900年1月1日——2200年12月31日，能实现闰年的自动调整以及月份的调整；
3. 源程序Code:

    `timescale 100ms/100ms
module time_2(  clk,
                time_set,
                rst,    //time_clear--rst; time_set_en--time_set;  
                year_set, // 12'b1000_0011_0100=2100
                mon_set,  // 4'b1100=12
                week_set, // 3'b111=7
                day_set,  // 5'b1_1111=31

                hour_set,   // 5'b1_1000=24
                min_set,  // 6'b11_1100=60
                    sec_set,  // 6'b11_1100=60

                    year,                // year[4'h0000], 
                    mon,
                    week,
                    day,

                    hour,
                    min,
                    sec,

                    year_carry,                 // carry define
                    mon_carry,
                    day_carry,
                    hour_carry,            
                    min_carry
                   );

input clk;
input time_set;
input rst;             //time_clear--rst; time_set_en--time_set;  
input[11:0] year_set;  // 12'b1000_0011_0100=2100
input[3:0] mon_set;  // 4'b1100=12
input[2:0] week_set; // 3'b111=7
input[4:0] day_set;  // 5'b1_1111=31
input[4:0] hour_set;    // 5'b1_1000=24
input[5:0] min_set;  // 6'b11_1100=60
input[5:0] sec_set;  // 6'b11_1100=60


output[11:0] year;  // 12'b1000_0011_0100=2100
output[3:0] mon;  // 4'b1100=12
output[2:0] week; // 3'b111=7
output[4:0] day;  // 5'b1_1111=31
output[4:0] hour;   // 5'b1_1000=24
output[5:0] min;  // 6'b11_1100=60
output[5:0] sec;  // 6'b11_1100=60
output min_carry,hour_carry,day_carry,mon_carry,year_carry;


reg[11:0] year;  // 12'b1000_0011_0100=2100
reg[3:0] mon;  // 4'b1100=12
reg[2:0] week; // 3'b111=7
reg[4:0] day;  // 5'b1_1111=31
reg[4:0] hour;  // 5'b1_1000=24
reg[5:0] min;  // 6'b11_1100=60
reg[5:0] sec;  // 6'b11_1100=60
reg min_carry,hour_carry,day_carry,mon_carry,year_carry;         
reg[4:0] date; // 5'b1_1111=31
wire year_4;
wire year_100;
wire year_400;
/*
always@(rst)
  begin  
      year<=2000;     
      mon<=1;    
      week<=6;
      day<=1;
      hour<=0;      
      min<=0;      
      sec<=0;     
  end
  */
  assign year_4=(year[1:0]==2'b0);
  assign year_100=!(year[3:2]==2'b11);
  assign year_400=(year[3:0]==4'b0);

always@(posedge time_set or posedge clk or posedge rst ) //sec
   begin
       if(rst)
             begin    
                 sec<=0;
             end
       else if(time_set)  
             begin
               sec<=sec_set;   
             end
       else if(sec==59)
             begin
               sec<=0;
               min_carry<=1;
             end
       else
             begin
                sec<=sec+1;
                min_carry<=0;
             end

   end

   always@(posedge min_carry or posedge time_set or posedge rst) //min
     begin
       if(rst)
          begin
              min<=0;
          end
       else if(time_set)
          begin
            min<=min_set;
            hour_carry<=0;
          end
       else if(min==59)
            begin
              min<=0;
              hour_carry<=1;
            end   
       else
            begin
                  min<=min+1;
                  hour_carry<=0;
            end
     end

     always@(posedge hour_carry or posedge time_set or posedge rst) //hour
         begin
          if(rst)
             begin
               hour<=0;
             end
          else if(time_set)
             begin
               hour<=hour_set;
               day_carry<=0;    
             end
          else if(hour==23)
             begin
               hour<=0;
               day_carry<=1;
             end
          else 
              begin
                 hour<=hour+1;
                 day_carry<=0;               
              end      
         end    

      always@(posedge day_carry or posedge time_set or posedge rst)   //day
         begin
              if(rst)
                begin
                  day<=1;
                end
              else if(time_set)
                begin 
                  day<=day_set;
                  mon_carry<=0;
                end
              else if(day==date)
                begin
                    day<=1;
                    mon_carry<=1;
                end
              else 
                begin
                    day<=day+1;
                    mon_carry<=0;
                end
         end

     always@(posedge day_carry or posedge time_set or posedge rst) //week
         begin
              if(rst)
                 begin
                     week<=6;
                 end
              else if(time_set)
                 begin
                   week<=week_set;
                 end
              else if(week==7)
                 begin
                   week<=1;
                 end
              else
                  begin
                   week<=week+1;
                  end  
         end        

     always@(posedge mon_carry or posedge time_set or posedge rst) //month
         begin
              if(rst)
                begin
                    mon<=1;
                end
              else if(time_set)
                begin
                  mon<=mon_set;
                  year_carry<=0;
                end
              else if(mon==12)
                 begin
                    mon<=1;
                    year_carry<=1;
                 end
              else
                 begin
                    mon<=mon+1;
                    year_carry<=0;
                 end 
        end

      always@(posedge year_carry or posedge time_set or posedge rst)//year
          begin
           if(rst)
                begin
                    year<=2000;
                end
           else if(time_set)
                begin
                   year<=year_set;
                end
           else if(year==2199)              
              begin
                  year<=2000;        
              end
           else 
              begin
                  year<=year+1;               
              end
        end

   always@(*)
        begin 
          case(mon) 
           1:date=31; 
           2: 
              begin 
                if(((year_4&&!year_400)&&!year_100)||year_400)
                  date=29;
                else
                  date=28;
                end
           3:date=31;
           4:date=30;
           5:date=31; 
           6:date=30;
           7:date=31;
           8:date=31; 
           9:date=30;
           10:date=31;
           11:date=30; 
           12:date=31;
         //  default:date=30; 
         endcase 
       end     

endmodule

4.testbench code:

`timescale 10ns/10ns    //100ms=10000*10ns

module time_tb_2;

  //input
reg clk;
reg time_set;
reg rst;             //time_clear--rst; time_set_en--time_set;  
reg[11:0] year_set;  // 12'b1000_0011_0100=2100
reg[3:0] mon_set;  // 4'b1100=12
reg[2:0] week_set; // 3'b111=7
reg[4:0] day_set;  // 5'b1_1111=31
reg[4:0] hour_set;  // 5'b1_1000=24
reg[5:0] min_set;  // 6'b11_1100=60
reg[5:0] sec_set;  // 6'b11_1100=60
  //output
  wire[11:0] year;  // 12'b1000_0011_0100=2100
  wire[3:0] mon;  // 4'b1100=12
  wire[2:0] week; // 3'b111=7
  wire[4:0] day;  // 5'b1_1111=31
  wire[4:0] hour;   // 5'b1_1000=24
  wire[5:0] min;  // 6'b11_1100=60
  wire[5:0] sec;  // 6'b11_1100=60
  wire min_carry,hour_carry,day_carry,mon_carry,year_carry;


  //example 
 time_2  bt(
              clk,
              time_set,
              rst,    //time_clear--rst; time_set_en--time_set;  
              year_set, // 12'b1000_0011_0100=2100
              mon_set,  // 4'b1100=12
              week_set, // 3'b111=7
              day_set,  // 5'b1_1111=31

              hour_set, // 5'b1_1000=24
              min_set,  // 6'b11_1100=60
              sec_set,  // 6'b11_1100=60

              year,                // year[4'h0000], 
              mon,
              week,
              day,

              hour,
              min,
              sec,

              year_carry,                 // carry define
              mon_carry,
              day_carry,
              hour_carry,            
              min_carry  
                  );

   //testing text;
  initial begin
           clk=0;
           forever #5 clk=~clk; //10 = 1s
          end

  initial
    begin
        time_set=0; //1
        rst=0;
        #1 rst=1;
        #1 rst=0;

        #1000 time_set=1;//2
        #1    time_set=0;

        #1000 time_set=1;//3
        #1    time_set=0;

        #1000 time_set=1;//4
        #1    time_set=0;

        #1000 time_set=1;//5
        #1    time_set=0;

        #1000 time_set=1;//6
        #1    time_set=0;

        #1000 time_set=1;//7
        #1    time_set=0;

        #1000 time_set=1;//8
        #1    time_set=0;

        #1000 time_set=1;//9
        #1    time_set=0;

        #1000 time_set=1;//10
        #1    time_set=0;

        #1000 time_set=1;//11
        #1    time_set=0;

        #1000 time_set=1;//12
        #1    time_set=0;

        #1000 time_set=1;//13
        #1    time_set=0;

        #1000 time_set=1;//14
        #1    time_set=0;

        #1000 time_set=1;//15
        #1    time_set=0;

        #1000 time_set=1;//16
        #1    time_set=0;

        #1000 time_set=1;//17
        #1    time_set=0;

        #1000 time_set=1;//18
        #1    time_set=0;

        #1000 time_set=1;//19
        #1    time_set=0;
    end

   initial
     begin // January
         year_set=2000;  // 12'b1000_0011_0100=2100
         mon_set=1;  // 4'b1100=12
         week_set=1; // 3'b111=7
         day_set=1;  // 5'b1_1111=31
         hour_set=0;    // 5'b1_1000=24
         min_set=0;  // 6'b11_1100=60
         sec_set=0;
        #1000; //February
            year_set=1996;  // 12'b1000_0011_0100=2100
            mon_set=2;  // 4'b1100=12
            week_set=6; // 3'b111=7
            day_set=28;  // 5'b1_1111=31
            hour_set=23;    // 5'b1_1000=24
            min_set=59;  // 6'b11_1100=60
            sec_set=0; 
       #1000; // February
         year_set=2000;  // 12'b1000_0011_0100=2100
         mon_set=2;  // 4'b1100=12
         week_set=1; // 3'b111=7
         day_set=28;  // 5'b1_1111=31
         hour_set=23;   // 5'b1_1000=24
         min_set=59;  // 6'b11_1100=60
         sec_set=0;

       #1000; //February
         year_set=2000;  // 12'b1000_0011_0100=2100
         mon_set=2;  // 4'b1100=12
         week_set=6; // 3'b111=7
         day_set=29;  // 5'b1_1111=31
         hour_set=23;   // 5'b1_1000=24
         min_set=59;  // 6'b11_1100=60
         sec_set=0;
        #1000; //February
          year_set=2004;  // 12'b1000_0011_0100=2100
          mon_set=2;  // 4'b1100=12
          week_set=6; // 3'b111=7
          day_set=28;  // 5'b1_1111=31
          hour_set=23;  // 5'b1_1000=24
          min_set=59;  // 6'b11_1100=60
          sec_set=0; 
         #1000; //February
           year_set=2100;  // 12'b1000_0011_0100=2100
           mon_set=2;  // 4'b1100=12
           week_set=6; // 3'b111=7
           day_set=28;  // 5'b1_1111=31
           hour_set=23; // 5'b1_1000=24
           min_set=59;  // 6'b11_1100=60
           sec_set=0;
         #1000; // February
           year_set=2015;  // 12'b1000_0011_0100=2100
           mon_set=2;  // 4'b1100=12
           week_set=6; // 3'b111=7
           day_set=28;  // 5'b1_1111=31
           hour_set=23; // 5'b1_1000=24
           min_set=59;  // 6'b11_1100=60
           sec_set=0;
       #1000; //March
         year_set=2015;  // 12'b1000_0011_0100=2100
         mon_set=3;  // 4'b1100=12
         week_set=7; // 3'b111=7
         day_set=29;  // 5'b1_1111=31
         hour_set=23;   // 5'b1_1000=24
         min_set=59;  // 6'b11_1100=60
         sec_set=0;
        #1000;  //March
          year_set=2015;  // 12'b1000_0011_0100=2100
          mon_set=3;  // 4'b1100=12
          week_set=1; // 3'b111=7
          day_set=30;  // 5'b1_1111=31
          hour_set=23;  // 5'b1_1000=24
          min_set=59;  // 6'b11_1100=60
          sec_set=0;
         #1000;  //April
           year_set=2015;  // 12'b1000_0011_0100=2100
           mon_set=4;  // 4'b1100=12
           week_set=4; // 3'b111=7
           day_set=30;  // 5'b1_1111=31
           hour_set=23; // 5'b1_1000=24
           min_set=59;  // 6'b11_1100=60
           sec_set=0; 
          #1000;  //May
            year_set=2015;  // 12'b1000_0011_0100=2100
            mon_set=5;  // 4'b1100=12
            week_set=2; // 3'b111=7
            day_set=30;  // 5'b1_1111=31
            hour_set=23;    // 5'b1_1000=24
            min_set=59;  // 6'b11_1100=60
            sec_set=0;
           #1000;  //june
             year_set=2015;  // 12'b1000_0011_0100=2100
             mon_set=6;  // 4'b1100=12
             week_set=2; // 3'b111=7
             day_set=30;  // 5'b1_1111=31
             hour_set=23;   // 5'b1_1000=24
             min_set=59;  // 6'b11_1100=60
             sec_set=0;
            #1000;  //july
              year_set=2015;  // 12'b1000_0011_0100=2100
              mon_set=7;  // 4'b1100=12
              week_set=4; // 3'b111=7
              day_set=30;  // 5'b1_1111=31
              hour_set=23;  // 5'b1_1000=24
              min_set=59;  // 6'b11_1100=60
              sec_set=0;  
           #1000;  //August
             year_set=2015;  // 12'b1000_0011_0100=2100
             mon_set=8;  // 4'b1100=12
             week_set=7; // 3'b111=7
             day_set=30;  // 5'b1_1111=31
             hour_set=23;   // 5'b1_1000=24
             min_set=59;  // 6'b11_1100=60
             sec_set=0;  
            #1000;  //september
              year_set=2015;  // 12'b1000_0011_0100=2100
              mon_set=9;  // 4'b1100=12
              week_set=7; // 3'b111=7
              day_set=30;  // 5'b1_1111=31
              hour_set=23;  // 5'b1_1000=24
              min_set=59;  // 6'b11_1100=60
              sec_set=0; 
            #1000;  //october
              year_set=2015;  // 12'b1000_0011_0100=2100
              mon_set=10;  // 4'b1100=12
              week_set=5; // 3'b111=7
              day_set=30;  // 5'b1_1111=31
              hour_set=21;  // 5'b1_1000=24
              min_set=59;  // 6'b11_1100=60
              sec_set=0; 
             #1000;  //november
               year_set=2015;  // 12'b1000_0011_0100=2100
               mon_set=11;  // 4'b1100=12
               week_set=1; // 3'b111=7
               day_set=30;  // 5'b1_1111=31
               hour_set=23; // 5'b1_1000=24
               min_set=59;  // 6'b11_1100=60
               sec_set=0;
              #1000;  //december
                year_set=2015;  // 12'b1000_0011_0100=2100
                mon_set=12;  // 4'b1100=12
                week_set=4; // 3'b111=7
                day_set=31;  // 5'b1_1111=31
                hour_set=23;    // 5'b1_1000=24
                min_set=59;  // 6'b11_1100=60
                sec_set=0; 
              #1000;  //december
                year_set=2199;  // 12'b1000_0011_0100=2100
                mon_set=12;  // 4'b1100=12
                week_set=6; // 3'b111=7
                day_set=31;  // 5'b1_1111=31
                hour_set=23;    // 5'b1_1000=24
                min_set=59;  // 6'b11_1100=60
                sec_set=0;        
       #1000;
       $stop;
    end

 endmodule