21 lines
351 B
Coq
Raw Permalink Normal View History

2023-01-11 11:13:09 +01:00
/**
* Data-Flip-Flop
* out[t+1] = in[t]
*/
`default_nettype none
module DFF(
input clk,
input in,
output reg out
2023-01-11 11:13:09 +01:00
);
// No need to implement this chip
// This chip is implemented in verilog using reg-variables
// reg out;
always @(posedge clk)
if (in) out <= 1'b1;
else out <= 1'b0;
2023-01-11 11:13:09 +01:00
endmodule