Sir
For the following code,
AG(clatched->AX(q[20:0]=255)); took 10 mins. for
evaluation.
i want to ask what are the ways(and how) VIS provides
so that we can reduce time taken by a property for evaluation.How can we use readings shown by print commands or other commands for this purpose?
thanking you
vanessa
*********************************************************module bc(ck,p,c,u,q);
input ck,p,c,u;
output[20:0]q;
reg clatched,platched,ulatched;
reg[20:0]counter;
assign q = counter;
initial
begin
counter = 0;
clatched=0;platched=0;ulatched=0;
end
always @(posedge ck)
begin
clatched=c;platched=p;ulatched=u;
end
always @ (posedge ck)
if(clatched) counter=0;
else if(platched) counter=255;
else if(ulatched)counter=counter+1;
else counter= counter-1;
endmodule
_____________________________________________________
Chat with your friends as soon as they come online. Get Rediff Bol at
http://bol.rediff.com
This archive was generated by hypermail 2b30 : Mon May 28 2001 - 13:14:34 MDT