Property Verification links:

1. EDA Cafe Assertion Based Verification article.

2. IEEE Design&Test Assertion Based verification article.

3. International Conference on VLSI Design Coverage of Formal Property Verification article.

Copyright Averant, Inc. 2007