File: test_ffs.v

package info (click to toggle)
yosys 0.23-6
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 20,644 kB
  • sloc: cpp: 138,485; python: 8,605; yacc: 3,451; sh: 2,358; makefile: 1,204; lex: 696; perl: 399; ansic: 371; javascript: 323; tcl: 78; vhdl: 46
file content (42 lines) | stat: -rw-r--r-- 958 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
module test(D, C, E, R, Q);
	parameter [0:0] CLKPOL = 0;
	parameter [0:0] ENABLE_EN = 0;
	parameter [0:0] RESET_EN = 0;
	parameter [0:0] RESET_VAL = 0;
	parameter [0:0] RESET_SYN = 0;

	(* gentb_clock *)
	input D, C, E, R;

	output Q;

	wire gated_reset = R & RESET_EN;
	wire gated_enable = E | ~ENABLE_EN;
	reg posedge_q, negedge_q, posedge_sq, negedge_sq;

	always @(posedge C, posedge gated_reset)
		if (gated_reset)
			posedge_q <= RESET_VAL;
		else if (gated_enable)
			posedge_q <= D;

	always @(negedge C, posedge gated_reset)
		if (gated_reset)
			negedge_q <= RESET_VAL;
		else if (gated_enable)
			negedge_q <= D;

	always @(posedge C)
		if (gated_reset)
			posedge_sq <= RESET_VAL;
		else if (gated_enable)
			posedge_sq <= D;

	always @(negedge C)
		if (gated_reset)
			negedge_sq <= RESET_VAL;
		else if (gated_enable)
			negedge_sq <= D;

	assign Q = RESET_SYN ? (CLKPOL ? posedge_sq : negedge_sq) : (CLKPOL ? posedge_q : negedge_q);
endmodule