2013.03.18 Reporter: PCLee. Assertions in silicon help post-silicon debug by providing observability of internal properties within a system which are.