bluespec.com

[sreeju]

I am designing a cache memory using vectors . I want to find the index of of memory containing tag which matches the tag from address. And if there is cache miss then I wanted to find any invalid memory location at which I can write new tag value. So, the problem is when I write the 'synthesize' attribute before the module then it takes infinite time to compile, but if I remove the synthesize attribute then it compiles within a few sec.
here is my code ..

if(a.op) begin //read
for(Integer i=0; i<32;i=i+1) begin
if( !tagFound && cache_blk[index][i].tag_value==tag && cache_blk[index][tagIndex].valid==True) begin
tagFound=True;
tagIndex=i;
end
end

if(tagFound)begin
hit_reg<=True;
out_reg<=cache_blk[index][tagIndex].data;
end

end

else begin//write
for(Integer i=0; i<32;i=i+1) begin
if( !tagFound && cache_blk[index][i].tag_value==tag && cache_blk[index][tagIndex].valid==True) begin
tagFound=True;
tagIndex=i;
end
if(!tagFound && cache_blk[index][tagIndex].valid==False)
tagMissIndex=i;
end
end



How can I make it synethsizable?