ankit12345 said:
What is assertion???
What else is there other than this in verification????
Assertions are concise means of capturing your design intent/specifcation, they can be used with Simulation and Formal verification, there is lot of introductory stuff available on the net, use google. I myself have coauthored 2 books on Assertion based Verification, see:
www.noveldv.com and
www.abv-sva.org for details.
Also see
www.project-veripage.com, I wrote a PSL tutorial some time back on that page.
Well some what simulatenous posting, see the other thread:
#737145
Relevant portion is here:
There are several technologies available such as:
* CRV - Constrained Random Verification
* CDV - Coverage Driven verification
* ABV - Assertion Based Verification
We cover all this and much more with practical labs, tricks and techniques, BKMs (Best Known Methods) in our course:
Comprehensive Functional Verification (CFV), see:
www.noveldv.com for more. TO sign up for a class, send an email to
cvc.training@gmail.com This will be in Bangalore for now, but if there is enough mass we are open to do it in other parts of India as well.
HTH
Ajeetha, CVC
www.noveldv.com