Processes | |
ALWAYS_0 | ( clk ) |
ALWAYS_1 | ( clk ) |
ALWAYS_2 | ( clk ) |
ALWAYS_3 | ( ps , prescaler ) |
ALWAYS_4 | ( clk ) |
ALWAYS_5 | ( clk ) |
ALWAYS_6 | ( clk ) |
ALWAYS_7 | ( clk ) |
Ports | |
clk | |
rst | |
tcki | |
option | |
tmr0_we | |
tmr0_cnt_en | |
wdt_en | |
wdt_clr | |
wdt_to | |
Inputs | |
clk | |
rst | |
tcki | |
option | [ 5 : 0 ] |
tmr0_we | |
wdt_en | |
wdt_clr | |
Outputs | |
tmr0_cnt_en | |
wdt_to | |
Registers | |
prescaler | [ 7 : 0 ] |
wdt | [ 7 : 0 ] |
tmr0_cnt_en | |
tcki_r | |
wdt_to | |
presclr_out | |
presclr_out_r1 | |
presclr_out_next |
Definition at line 70 of file presclr_wdt.v.
ALWAYS_0 | ( | clk ) |
ALWAYS_1 | ( | clk ) |
Definition at line 113 of file presclr_wdt.v.
00113 always @(posedge clk) 00114 tmr0_cnt_en <= #1 psa ? tcki_b : presclr_out;
ALWAYS_2 | ( | clk ) |
ALWAYS_3 | ( | ps , |
prescaler ) |
Definition at line 124 of file presclr_wdt.v.
00124 always @(ps or prescaler) 00125 case(ps) 00126 3'd0: presclr_out_next = prescaler[0]; 00127 3'd1: presclr_out_next = prescaler[1]; 00128 3'd2: presclr_out_next = prescaler[2]; 00129 3'd3: presclr_out_next = prescaler[3]; 00130 3'd4: presclr_out_next = prescaler[4]; 00131 3'd5: presclr_out_next = prescaler[5]; 00132 3'd6: presclr_out_next = prescaler[6]; 00133 3'd7: presclr_out_next = prescaler[7];
ALWAYS_4 | ( | clk ) |
Definition at line 136 of file presclr_wdt.v.
00136 always @(posedge clk) 00137 presclr_out_r1 <= #1 presclr_out_next;
ALWAYS_5 | ( | clk ) |
Definition at line 139 of file presclr_wdt.v.
00139 always @(posedge clk) // Edge detector for prescaler output 00140 presclr_out <= #1 presclr_out_next & ~presclr_out_r1 & ~prsclr_clr;
ALWAYS_6 | ( | clk ) |
Definition at line 143 of file presclr_wdt.v.
00143 always @(posedge clk) 00144 wdt_to <= #1 psa ? presclr_out : wdt_to_direct;
ALWAYS_7 | ( | clk ) |
clk [Ports] |
Definition at line 70 of file presclr_wdt.v.
rst [Ports] |
Definition at line 70 of file presclr_wdt.v.
tcki [Ports] |
Definition at line 70 of file presclr_wdt.v.
option [Ports] |
Definition at line 70 of file presclr_wdt.v.
tmr0_we [Ports] |
Definition at line 70 of file presclr_wdt.v.
tmr0_cnt_en [Ports] |
Definition at line 70 of file presclr_wdt.v.
wdt_en [Ports] |
Definition at line 70 of file presclr_wdt.v.
wdt_clr [Ports] |
Definition at line 70 of file presclr_wdt.v.
wdt_to [Ports] |
Definition at line 70 of file presclr_wdt.v.
clk [Inputs] |
Definition at line 71 of file presclr_wdt.v.
rst [Inputs] |
Definition at line 72 of file presclr_wdt.v.
tcki [Inputs] |
Definition at line 73 of file presclr_wdt.v.
option [ 5 : 0 ] [Inputs] |
Definition at line 74 of file presclr_wdt.v.
tmr0_we [Inputs] |
Definition at line 75 of file presclr_wdt.v.
tmr0_cnt_en [Outputs] |
Definition at line 76 of file presclr_wdt.v.
wdt_en [Inputs] |
Definition at line 77 of file presclr_wdt.v.
wdt_clr [Inputs] |
Definition at line 77 of file presclr_wdt.v.
wdt_to [Outputs] |
Definition at line 78 of file presclr_wdt.v.
prescaler [ 7 : 0 ] [Registers] |
Definition at line 81 of file presclr_wdt.v.
wdt [ 7 : 0 ] [Registers] |
Definition at line 82 of file presclr_wdt.v.
tmr0_cnt_en [Registers] |
Definition at line 83 of file presclr_wdt.v.
tcki_r [Registers] |
Definition at line 84 of file presclr_wdt.v.
wdt_to [Registers] |
Definition at line 85 of file presclr_wdt.v.
presclr_out [Registers] |
Definition at line 94 of file presclr_wdt.v.
presclr_out_r1 [Registers] |
Definition at line 94 of file presclr_wdt.v.
presclr_out_next [Registers] |
Definition at line 95 of file presclr_wdt.v.