23 lines
448 B
Coq
23 lines
448 B
Coq
|
/// bled
|
||
|
|
/// Button-toggled LED
|
||
|
|
///
|
||
|
|
/// This toggles the LED using a pushbutton on pin 6. The pushbutton
|
||
|
|
/// has one side connected to Vcc, and the other side to both pin 6 and
|
||
|
|
/// a 10K Ω resistor (because, for some reason, that's what I have on
|
||
|
|
/// hand).
|
||
|
|
module top (
|
||
|
|
input PIN_6,
|
||
|
|
input CLK,
|
||
|
|
output LED
|
||
|
|
);
|
||
|
|
|
||
|
|
reg state = 0;
|
||
|
|
reg pressed = 0;
|
||
|
|
|
||
|
|
assign LED = state;
|
||
|
|
always @(negedge PIN_6)
|
||
|
|
state <= !state;
|
||
|
|
|
||
|
|
|
||
|
|
endmodule
|