Dinesh,
For introductory reading, try the tutorial paper and the user's manual.
Both are available from http://vlsi.Colorado.EDU/~vis/usrDoc.html. They
are a little dated and don't describe the latest developments, but they
should be a good start.
Roderick
Dinesh Bhati wrote:
>
> dear sir
> actually right now i want to learn "how to use VIS"
> Is the book which u 've suggested me sufficient to learn the tool,
> if not ,then please suggest me another one.
> Later on i've to write paper also.
> thanking you
> dinesh
>
> -----Original Message-----
> From: Roderick Bloem [mailto:roderick.bloem@colorado.edu]
> Sent: Tuesday, February 13, 2001 10:12 PM
> To: vis-users@lists.colorado.edu
> Cc: Dinesh Bhati
> Subject: Re:
>
> Dear Dinesh,
>
> I am not quite sure what your question means. If you are writing a
> paper and you want a reference for Vis, then you can use the one
> attached below. If I misunderstood your question, please let me know.
>
> Roderick.
>
> @INCOLLECTION { VIS96 ,
> ADDRESS = "Rutgers University" ,
> AUTHOR = "R. K. Brayton and others" ,
> BOOKTITLE = "Eighth Conference on Computer Aided Verification
> (CAV'96)" ,
> EDITOR = "T. Henzinger and R. Alur" ,
> NOTE = "LNCS 1102" ,
> PAGES = "428-432" ,
> PUBLISHER = "Springer-Verlag" ,
> TITLE = "{VIS}: A system for verification and synthesis" ,
> YEAR = "1996"
> }
>
> Dinesh Bhati wrote:
> >
> > hello sir
> > iam dinesh from dept.. of cedt( centre for elx. design and tech.) iisc.
> > bangalore(india)
> > doing research in hardware verification. iam using vis for my research and
> > going thru VIS website right now.
> > could u please tell me the necessary books which i should refer.
> > thankingyou
> > dinesh
This archive was generated by hypermail 2b29 : Wed Feb 14 2001 - 15:55:42 MST