mirror of
https://github.com/aolofsson/oh.git
synced 2025-01-30 02:32:53 +08:00
25 lines
748 B
Coq
25 lines
748 B
Coq
|
//#############################################################################
|
||
|
//# Function: Positive edge-triggered static D-type flop-flop with async #
|
||
|
//# active low preset and scan input. #
|
||
|
//# Copyright: OH Project Authors. ALl rights Reserved. #
|
||
|
//# License: MIT (see LICENSE file in OH repository) #
|
||
|
//#############################################################################
|
||
|
|
||
|
module asic_sdffsq
|
||
|
(
|
||
|
input d,
|
||
|
input si,
|
||
|
input se,
|
||
|
input clk,
|
||
|
input nset,
|
||
|
output reg q
|
||
|
);
|
||
|
|
||
|
always @ (posedge clk or negedge nset)
|
||
|
if(!nset)
|
||
|
q <= 1'b1;
|
||
|
else
|
||
|
q <= se ? si : d;
|
||
|
|
||
|
endmodule
|