# Implementing circuit with d-flipflop in verilog

I'm fairly new to Verilog and I'm currently trying to do a structural implementation of a circuit that consists of an d flipflop, it has inputs x and y, x and y are exclusive or'd and that result is exclusive or'd with the current state, and used as the input to the d flip flop. and it'll use the result state from the flipflop in the next run, etc. But I'm not too sure how to construct it.

The circuit looks like so:

And my code is as follows:

module circ(clk,x,y);
input clk,x,y;
wire state=1'b0;
wire xoy,d;
xor(xoy,x,y);
xor(d,xoy,state);
dff a(d,clk,state);
endmodule

module dff(D,clk,q);
input D,clk;
output q;
reg q;
initial q<=0;
always @ (posedge clk)
begin
q<=D;
end
endmodule


I'm pretty sure the d flip flop code is correct but when I try to test this my d and state values are just x for some reason. When I put in different x and y values in my testbench nothing happens, "state" and "d" just always says it has value "1'hx" in the simulation. Why is this happening and how do I actually assign an value to them?

I'm just not really understanding what you're supposed to do with the state, I'm assuming you need to give it a state at the very first run but if I give it a state isn't it just going to set state to that value every single time that module is accessed?

This is what state looks like on the simulation chart, it just stays red forever:

In your simulator, the initial value of the D flipflop is undefined, hence the behavior of your circuit is undefined. You can take one of two approaches:

1. Add an initial assignment to the flipflop:

initial q <= 0;

2. Add a reset signal to the flipflop, and toggle it from your simulation. Your always block should then be:

always @ (posedge clk) begin
if(reset) q <= 0;
else q <= D;
end

• @dshawn Can you attach more info about your testbench? Assuming all signals are driven properly (no high-Z, etc) the only source of an X would be the flipflop which we clearly eliminated; the issue might possibly lie in your testbench then. – nanofarad Nov 12 '18 at 0:54
• haha I was just being an idiot and overlooked the line wire state=1'b0 so it was getting set back to 0 every time, it works perfectly now, thank you for the help! – dshawn Nov 12 '18 at 1:02