The term "self-checking" is often used in the context of Assertion-Based Verification. This is where you put assertions in the design using (for example) PSL (Property Specification Language) to ensure that certain conditions are met - which then ensures that you can observe problems (bugs) in the design at the site of the problem rather than trying to necessarily observe them from the outside.

Maybe that's what you've seen?

Regards,

Andrew.

Thanks Ken, Andrew for your replies. I'm sorry for the delayed response on my end.

I guess I went a bit too ambitious with the term "self-checking". I thought it gets some facility to update itself with the design, hence have some facility to "check itself". I understand now that it's just an automation of manual looks into the design. Of course, at a much deeper level.

Nevertheless, even building an exhaustive testbench, straight from the specs, is pretty challenging. Is there some literature available in this regard?

Thanks for the replies!

Dushyant.