OpenSTA logo OpenSTA SCL Reference
Formal Test Case Commands

Formal Test Case Commands

Formal test case commands provide support for tracking the results of each test, so that it is possible to see easily how well the testing is going. The following commands provide support for these features:


<<<
prev page
^^^
section start
>>>
next page