mirror of https://github.com/efabless/caravel.git
23 lines
312 B
Coq
23 lines
312 B
Coq
|
|
||
|
|
|
||
|
|
|
||
|
|
module \$_ALDFF_PN_ (D, C, L, AD, Q);
|
||
|
|
input D, C, L, AD;
|
||
|
|
output reg Q;
|
||
|
|
|
||
|
|
wire RN, SN;
|
||
|
|
wire L_N;
|
||
|
|
|
||
|
|
\$_OR_ R_NAND ( .Y(RN), .A(L), .B(AD) );
|
||
|
|
\$_NOT_ NAND_NOT ( .A(L), .Y(L_N));
|
||
|
|
\$_NAND_ S_NAND ( .Y(SN), .A(L_N), .B(AD) );
|
||
|
|
|
||
|
|
\$_DFFSR_PNN_ SRFF (.C(C),
|
||
|
|
.S(SN),
|
||
|
|
.R(RN),
|
||
|
|
.D(D),
|
||
|
|
.Q(Q)
|
||
|
|
);
|
||
|
|
|
||
|
|
endmodule
|