23 lines
327 B
Coq
23 lines
327 B
Coq
|
// See LICENSE for license details.
|
||
|
|
module SRLatch (
|
||
|
|
input set,
|
||
|
|
input reset,
|
||
|
|
output q
|
||
|
|
);
|
||
|
|
|
||
|
|
reg latch;
|
||
|
|
|
||
|
|
// synopsys async_set_reset "set"
|
||
|
|
// synopsys one_hot "set, reset"
|
||
|
|
always @(set or reset)
|
||
|
|
begin
|
||
|
|
if (set)
|
||
|
|
latch <= 1'b1;
|
||
|
|
else if (reset)
|
||
|
|
latch <= 1'b0;
|
||
|
|
end
|
||
|
|
|
||
|
|
assign q = latch;
|
||
|
|
|
||
|
|
endmodule
|