PDA

View Full Version : VERIFICATION AND VALIDATION


ABS
12-07-2005, 09:47 AM
Hi.

This group is of real help to people that really need help and
assistance during the course of designing and programning. Well, all
these while i was into desiging and development. now i have been
shifted to VERIFICATION and TESTING in VHDL. i have done verification
earlier in TESTBENCHES, wrote a code and given input vectors and
verified the output vectors. Is this basically how testing is done, or
lots more into it. I'am just aware of this way of testing of the VHDL
code in TESTBENCHES.
If there are many other ways of testing and validation which i'am
unaware of PLEASE let me know.


I'am refering a book:

Writing Testbenches: Functional Verification of HDL Models, Second
Edition
by Janick Bergeron.


well its just the begening.
Can i please be informed of sites or pdf doc that will help me gain
more knowledge in this.

Along with this i request to get info, ideas on the importance,
advantages, of testing,
diffrent tools used in verification.

One last doubt, in verification, do we even work on STATIC TIME
ANALYSIS and SYNTHESIS.
or this is done by the designer itself..

would be very thankful to get replies soon.

Cheers

Bye

Mike Treseler
12-07-2005, 02:44 PM
ABS wrote:
> now i have been
> shifted to VERIFICATION and TESTING in VHDL. i have done verification
> earlier in TESTBENCHES, wrote a code and given input vectors and
> verified the output vectors. Is this basically how testing is done, or
> lots more into it. I'am just aware of this way of testing of the VHDL
> code in TESTBENCHES.

Here's some testbench fundamentals:
http://www.stefanvhdl.com/

Here's an example of a procedural testbench:
http://home.comcast.net/~mike_treseler/

> I'am refering a book:
> Writing Testbenches: Functional Verification of HDL Models, Second
> Edition
> by Janick Bergeron.

Here is a recent thread on that topic.
http://groups.google.com/groups?q=vhdl+transaction+pulsegen

> One last doubt, in verification, do we even work on STATIC TIME
> ANALYSIS and SYNTHESIS.
> or this is done by the designer itself..

Static timing provides no functional verification.
It is a tool for the designer
to prove that his design will meet timing.

-- Mike Treseler

ABS
12-08-2005, 05:15 AM
Thank You Mike...
will refer the links provided...

Abbs

ABS
12-08-2005, 10:50 AM
hi
i was told to study the following, corner case testing, different
testing scenarios and BFM models. i have to get good idea n get to know
wot verification is n how its done.

bye
Thanks

ABS
12-14-2005, 02:22 PM
hiii
i need immeadite help...
i have to deliver a presentation. suppose i have to verify a D flip
flop, what are the verification stages, how will i proceed with it.
what are the steps to begin till end. its important so can any one out
here just brief it out to me.

thanks a million.

bye