Test dont fault

The set test assume command can be used to get an estimate of fault coverage. This allows the user to perform analysis of the improvements in fault coverage by initializing the RAM to different states. TC does not verify these values and the user must ensure that the RAM is initialized to that state. In addition, for each of the above approaches, a test dont fault attribute should be placed on the RAM cell. This prevents the inclusion of faults associated with the RAM cell in the fault coverage calculation. 

---