Assertions are increasingly important verification tools because they improve design quality and increase design verification (DV) productivity, resulting in faster time to market. Table 1 summarizes ...

This paper presents an empirical case study of two commercial software components at Microsoft Corporation. The developers of these components systematically employed assertions, which allowed us to ...

The ever growing complexity of systems-on-a-chip calls for more and more sophisticated methods of their design and verification. The major gain in SoC design efficiency resulted from wide adoption of ...