mirror of https://github.com/YosysHQ/yosys.git
24 lines
272 B
Coq
24 lines
272 B
Coq
|
|
||
|
|
module NOT(A, Y);
|
||
|
|
input A;
|
||
|
|
output Y = ~A;
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
module NAND(A, B, Y);
|
||
|
|
input A, B;
|
||
|
|
output Y = ~(A & B);
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
module NOR(A, B, Y);
|
||
|
|
input A, B;
|
||
|
|
output Y = ~(A | B);
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
module DFF(C, D, Q);
|
||
|
|
input C, D;
|
||
|
|
output reg Q;
|
||
|
|
always @(posedge C)
|
||
|
|
Q <= D;
|
||
|
|
endmodule
|
||
|
|
|