Assertion based verification

[jelydonut]

What is it? Does anyone have text or links to docs on the subject?

I've read quite a few verification books, but none have covered it at all so far..

thanks

jelydonut

 

[nand_gates]

search Google for Assertion based verification u will get tonns of
materials
eg. www.jmlzone.com/ABV.PDF

 

[jjww110]

link : www.doulos.com
have some psl/sugar training marerial