Can any one tell me the verfication of Design. and lang

EDAboard.com Forum Index -> ASIC Design Methodologies & Tools (Digital) -> Can any one tell me the verfication of Design. and lang

Author

Message

narasimhalu

Joined: 20 Oct 2005
Posts: 4

20 Oct 2005 4:03 Can any one tell me the verfication of Design. and lang

hi all
i am doing my M.tech project in singapore .now i am learning the vcs..
i am verify the design with vhdl test bench.now i want to learn full verification of the design.that's is like in companys..pls tell me what are the language used
for verification..and how it is useful than the testbench writing....
how can i learn verification in full...
thanks in advance
with regards
R.Narasimhalu

gogogo

Joined: 22 Jan 2005
Posts: 43
Helped: 1

22 Oct 2005 9:35 Can any one tell me the verfication of Design. and lang

verilog systemc etc, and u can use them.

trilogy

Joined: 21 Sep 2005
Posts: 9
Helped: 4

22 Oct 2005 9:48 Re: Can any one tell me the verfication of Design. and lang

Verification of circuits is a hot property in EDA . Wll their are various tools available for verification by giats like Mentorgraphics, Synopsys. Wll i dont understand what u mean by language for verification.
Verification involves various methodologis like CTL, model checking etc.

narasimhalu

Joined: 20 Oct 2005
Posts: 4

23 Oct 2005 7:06 Re: Can any one tell me the verfication of Design. and lang

thanks for reply...
can u tell me what are the methods for verifications and explain it or give some notes about that..i mean lang like vera,specman

Google
AdSense
Google Adsense

23 Oct 2005 7:06 Ads

trilogy

Joined: 21 Sep 2005
Posts: 9
Helped: 4

23 Oct 2005 9:13 Re: Can any one tell me the verfication of Design. and lang

first tell me whether your project involves developing some new methodology for verification or you just require tto use verification for some purpose in your project. As for latter case getting verse with any standard verification tool will be enough, else u need to know the various ways of verifcation .

narasimhalu

Joined: 20 Oct 2005
Posts: 4

23 Oct 2005 9:35 Re: Can any one tell me the verfication of Design. and lang

my project is Design only.i want to do some standard verfication, so that only i asked.right now i am using VCS for my project... and i also interested to learn more about the verification of the design ..
can you pls tell me

thanks in advance
with regards
R.Narasimhalu

trilogy

Joined: 21 Sep 2005
Posts: 9
Helped: 4

23 Oct 2005 11:07 Re: Can any one tell me the verfication of Design. and lang

If u want to learm about verification through a tool , I think VCS is good enough. But if u want to learn about how verification actually is done, u have to look for MODEL checking , CTL( complex tree logic),LTL( linear temporal logic), assertion based verification. etc. U can find lots of tutorial about them on Internet. so have fun

luancao

Joined: 02 Aug 2005
Posts: 71
Helped: 5

23 Oct 2005 18:50 Re: Can any one tell me the verfication of Design. and lang

It is a state-of-art process.

You know what is best. But you will have to reach a local optimal.

What is local optimal? It depends the resource available, the market requirement and also quality guideline.

Added after 4 minutes:

It is a state-of-art process.

You know what is best. But you will have to reach a local optimal.

What is local optimal? It depends the resource available, the market requirement and also quality guideline.

narasimhalu

Joined: 20 Oct 2005
Posts: 4

24 Oct 2005 2:46 Re: Can any one tell me the verfication of Design. and lang

Thanks for your information...
then in VCS what way can do verification other than the convenstional testbench..

with regards
R.Narasimhalu

ldm

Joined: 14 Oct 2005
Posts: 39

24 Oct 2005 3:08 Re: Can any one tell me the verfication of Design. and lang

........................

luancao

Joined: 02 Aug 2005
Posts: 71
Helped: 5

25 Oct 2005 9:26 Re: Can any one tell me the verfication of Design. and lang

VCS 7.0 ( or some version like that ) or higher becomes what is called NTB ( Native testbench builder ). It integrate the Vera, system verilog, Direct C ...

U could build you testbench by these more powerful languages...