Este es mi código para un D-flip-flop async-reset-set. Estoy usando quartus y el módulo se compila, pero no hay manera de verificar si mi lógica es válida. Podría usar algunas opiniones externas.
El restablecimiento es asíncrono (1 = restablecer) y el conjunto se representa mediante habilitación.
Aquí está mi código:
module DFF_async(in, enable, clock, reset, out);
input in, enable, clock, reset;
output out;
reg out;
always @ (posedge clock or posedge reset)
if(reset) begin
out <= 1'b0;
end else if (enable) begin
out <= in;
end
endmodule