mirror of https://github.com/YosysHQ/yosys.git
20 lines
367 B
Coq
20 lines
367 B
Coq
|
module $_DLATCH_P_(input E, input D, output Q);
|
||
|
|
LDCP _TECHMAP_REPLACE_ (
|
||
|
|
.D(D),
|
||
|
|
.G(E),
|
||
|
|
.Q(Q),
|
||
|
|
.PRE(1'b0),
|
||
|
|
.CLR(1'b0)
|
||
|
|
);
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
module $_DLATCH_N_(input E, input D, output Q);
|
||
|
|
LDCP_N _TECHMAP_REPLACE_ (
|
||
|
|
.D(D),
|
||
|
|
.G(E),
|
||
|
|
.Q(Q),
|
||
|
|
.PRE(1'b0),
|
||
|
|
.CLR(1'b0)
|
||
|
|
);
|
||
|
|
endmodule
|