利用Verilog HDL实现万年历

àì夳堔傛蜴生んèń 2022-08-02 11:47 526阅读 0赞

## 利用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