bug about vl2mv!

From: gepolv (sssssiqn_at_gmail.com)
Date: Sun May 14 2006 - 00:09:36 MDT


I initialize your latch ,but it still does not work !And i change the
"posedge" to "negedge" ,still doen not work,namely the result file is still
same which does not contain any time constraint information.
I read the blifmv format,then i am amazed that the blifmv format does not
mention whether it can describe clock information.
I feel so depressed!Can you help me?

2006/5/14, Flavio M. De Paula <depaulfm_at_cs.ubc.ca>:
>
> have you tried posedge instead of negedge? It's been a while I used vis,
> but my guess is that your problem would be the negedge...
> Also, initialize your latch is a good practice. Take a look at the
> examples given with the package. In the vis web-site you also find some
> presentations explaining the traffic light control example, which is a
> good template to develp from.
> hope this helps,
>
> On Sat, 13 May 2006, gepolv wrote:
>
> > I am sorry to bother you,but i think you are the first person in the
> world
> > to help me :)
> > I am a graduate student and my major is FPGA CAD .So ,i used the
> > tool vl2mv to translate verilog file to blif-mv file.But now ,i
> encounter a
> > big problem:the clock constraints information was not reflected in the
> > final file(blif_mv file) which is really strange!
> > sourcefile dff.v:
> > module dff(q,d,c);
> > output q;
> > input d,c;
> > reg q;
> > always @(negedge c)
> > begin
> > q=d;
> > end
> > endmodule
> > the commend used is:
> >> read_verilog dff.v
> >> write_blif dffr.blif
> > then the result file :
> > dffr.blif:
> > # This blif file and the encoding file that was written out with it
> cannot
> > # currently be read back into VIS. If you would like to read the blif
> and
> > # encoding files back into VIS, then use the 'write_blif -l' or
> > #'write_blif -c' options.
> > .model dff
> > .inputs d0
> > .outputs q0
> > .latch _n20 q0 2
> > .names d0 q$raw_n00
> > 1 1
> > .names _n10
> > 1
> > .names _n10 q$raw_n00 _n20
> > 11 1
> > .exdc
> > .end
> >
> > the result file does not include clock constraint information!
> > Any help will be great appreciated !
> >
> >
> > Gepo Lv
> >
>



This archive was generated by hypermail 2.1.7 : Sun May 14 2006 - 00:18:23 MDT