[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Co verification
Hi Pitchu,
It's my personal opinion. I think that the standard verification
language must provide generic capabilities for interfacing with other
programming and modeling languages. Ports comprise such
infrastructure. The rest can be implemented by particular vendors as
a particular application.
The fact Specman and e contain CVL capabilities doesn't inidicate this
feature must be considered as a part of the language.
CVL was developed by Verisity when there were no external ports.
I think that if this development was happenning these days it had had
been implemented as an eRM package on top of external method ports.
Regards,
Vitaly
pitchumani.guru@wipro.com writes:
>
> Hi,
>
> Can we identify reasons? Does it not involve the interaction with other
> languages?
>
> Rgds
> pitchu
>
> -----Original Message-----
> From: Vitaly Yankelevich [mailto:vitaly@verisity.com]
> Sent: Monday, September 06, 2004 8:28 PM
> To: Pitchumani Guruswamy (WT01 - EMBEDDED & PRODUCT ENGINEERING
> SOLUTIONS)
> Cc: 1647-fitf@ieee1647.org
> Subject: Re: Co verification
>
>
> Hi,
>
> My personal opinion is that co-verification should not be a part of
> the language standard.
>
> Vitaly
>
> pitchumani.guru@wipro.com writes:
> >
> > Hi all,
> >
> >
>
> >
> > Can we gather some inputs on co-verification?
>
> >
> >
>
> >
> > Does it involve interfaces to other languages via
> > libraries/sockets/ports?
> >
> >
>
> >
> > If so what needs to be standardized?
> >
> >
>
> >
> > Do mail your comments on the same.
> >
> >
>
> >
> > Rgds
> >
> > pitchu
> >
> >
> >
> >
> >
> > Confidentiality Notice
>
> >
> > The information contained in this electronic message and any
> attachments to this message are intended
> > for the exclusive use of the addressee(s) and may contain
> confidential or privileged information. If
> > you are not the intended recipient, please notify the sender at Wipro
> or Mailadmin@wipro.com immediately
> > and destroy all copies of this message and any attachments.<html>
> >
> > <head>
> > <meta http-equiv=Content-Type content="text/html; charset=us-ascii">
> > <meta name=Generator content="Microsoft Word 10 (filtered)">
> >
> > <style>
> > <!--
> > /* Style Definitions */
> > p.MsoNormal, li.MsoNormal, div.MsoNormal
> > {margin:0in;
> > margin-bottom:.0001pt;
> > font-size:12.0pt;
> > font-family:"Times New Roman";}
> > a:link, span.MsoHyperlink
> > {color:blue;
> > text-decoration:underline;}
> > a:visited, span.MsoHyperlinkFollowed
> > {color:purple;
> > text-decoration:underline;}
> > span.EmailStyle17
> > {font-family:Arial;
> > color:windowtext;}
> > @page Section1
> > {size:8.5in 11.0in;
> > margin:1.0in 1.25in 1.0in 1.25in;}
> > div.Section1
> > {page:Section1;}
> > -->
> > </style>
> >
> > </head>
> >
> > <body lang=EN-US link=blue vlink=purple>
> >
> > <div class=Section1>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'>Hi all,</span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'> </span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'>Can we gather some inputs on co-verification?
> </span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'> </span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'>Does it involve interfaces to other languages via
> libraries/sockets/ports?</span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'> </span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'>If so what needs to be
> standardized?</span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'> </span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'>Do mail your comments on the
> same.</span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'> </span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'>Rgds</span></font></p>
> >
> > <p class=MsoNormal><font size=2 face=Arial><span
> style='font-size:10.0pt;
> > font-family:Arial'>pitchu</span></font></p>
> >
> > </div>
> >
> > </body>
> >
> > </html>
> >
> > <table><tr><td bgcolor=#ffffff><font color=#000000>
> >
> > Confidentiality Notice
>
> >
> > The information contained in this electronic message and any
> attachments to this message are intended
> > for the exclusive use of the addressee(s) and may contain
> confidential or privileged information. If
> > you are not the intended recipient, please notify the sender at Wipro
> or Mailadmin@wipro.com immediately
> > and destroy all copies of this message and any attachments.
> > </font></td></tr></table>
>
>
>
> Confidentiality Notice
>
> The information contained in this electronic message and any attachments to this message are intended
> for the exclusive use of the addressee(s) and may contain confidential or privileged information. If
> you are not the intended recipient, please notify the sender at Wipro or Mailadmin@wipro.com immediately
> and destroy all copies of this message and any attachments.