In any digital design apart from the standard cell , we need to different Physical Cell to minimize the issues in the design.
Setup = RT(dec) – AT this is not good for setup
Hold = AT – RT(dec) this is good for hold
Setup = RT(inc) – AT this is good for setupHold = AT – RT(inc) this is not good for hold
Tskew =Tlaunch_clk - Tcapture_clk
Behavioral modeling is the highest level of abstraction in the Verilog HDL. The other modeling techniques are relatively detailed. They require some knowledge of how hardware, or hardware signals work. The abstraction in this modeling is as simple as writing the logic in C language. This is a very powerful abstraction technique. All that designer needs is the algorithm of the design, which is the basic information for any design.
Most of the behavioral modeling is done using two important constructs: initial and always. All the other behavioral statements appear only inside these two structured procedure constructs.
The initial Construct
The statements which come under the initial construct constitute the initial block. The initial block is executed only once in the simulation, at time 0. If there is more than one initial block. Then all the initial blocks are executed concurrently. The initial construct is used as follows:
initial
begin
reset = 1'b0;
clk = 1'b1;
end
or
initial
clk = 1'b1;
In the first initial block there are more than one statements hence they are written between begin and end. If there is only one statement then there is no need to put begin and end.
The Always Construct
The statements which come under the always construct constitute the always block. The always block starts at time 0, and keeps on executing all the simulation time. It works like a infinite loop. It is generally used to model a functionality that is continuously repeated.
always
#5 clk = ~clk;
initial
clk = 1'b0;
The above code generates a clock signal clk, with a time period of 10 units. The initial blocks initiates the clk value to 0 at time 0. Then after every 5 units of time it toggled, hence we get a time period of 10 units. This is the way in general used to generate a clock signal for use in test benches.
always @(posedge clk, negedge reset)
begin
a = b + c;
d = 1'b1;
end
In the above example, the always block will be executed whenever there is a positive edge in the clk signal, or there is negative edge in the reset signal. This type of always is generally used in implement a FSM, which has a reset signal.
always @(b,c,d)
begin
a = ( b + c )*d;
e = b | c;
end
In the above example, whenever there is a change in b, c, or d the always block will be executed. Here the list b, c, and d is called the sensitivity list.
In the Verilog 2000, we can replace always @(b,c,d) with always @(*), it is equivalent to include all input signals, used in the always block. This is very useful when always blocks is used for implementing the combination logic
Dataflow modeling is a higher level of abstraction. The designer no need have any knowledge of logic circuit. He should be aware of data flow of the design. The gate level modeling becomes very complex for a VLSI circuit. Hence dataflow modeling became a very important way of implementing the design.
In dataflow modeling most of the design is implemented using continuous assignments, which are used to drive a value onto a net. The continuous assignments are made using the keyword assign.
The assign statement
The assign statement is used to make continuous assignment in the dataflow modeling. The assign statement usage is given below:
assign out = vs0 + vs1; // vs0 + vs1 is evaluated and then assigned to out.
Examples:
assign vs[3:0] = vs0[3:0] & vs1[3:0];
assign {o3, o2, o1, o0} = vs0[3:0] | {vs1[2:0],vs2}; // Use of concatenation.
Implicit Net Declaration:
wire vs0, vs1;
assign out = vs0 ^ vs1;
In the above example out is undeclared, but verilog makes an implicit net declaration for out.
Implicit Continuous Assignment:
wire out = vs0 ^ vs1;
The above line is the implicit continuous assignment. It is same as,
wire out;
assign out = in0 ^ in1;
Delays
There are three types of delays associated with dataflow modeling. They are: Normal/regular assignment delay, implicit continuous assignment delay and net declaration delay.
Normal/regular assignment delay:
assign #10 out = in0 | in1;
If there is any change in the operands in the RHS, then RHS expression will be evaluated after 10 units of time. Lets say that at time t, if there is change in one of the operands in the above example, then the expression is calculated at t+10 units of time. The value of RHS operands present at time t+10 is used to evaluate the expression.
Implicit continuous assignment delay:
wire #10 out = vs0 ^ vs1;
is same as
wire out;
assign 10 out = vs0 ^ vs1;
Net declaration delay:
wire #10 out;
assign out = vs;
is same as
wire out;
assign #10 out = vs;
