quasar/target/scala-2.12/classes/vsrc/gated_latch.v

15 lines
246 B
Coq
Raw Normal View History

2020-12-17 21:21:54 +08:00
module gated_latch
(
2020-12-17 21:30:02 +08:00
input logic SE, EN, CK,
2020-12-17 21:21:54 +08:00
output Q
);
2020-12-17 21:30:02 +08:00
logic en_ff;
logic enable;
2020-12-17 21:21:54 +08:00
assign enable = EN | SE;
always @(CK, enable) begin
if(!CK)
en_ff = enable;
end
assign Q = CK & en_ff;
endmodule