Следующие страницы ссылаются на «Questa SIM User's Manual/Analyzing Assertions and Cover Directives»: