2 stb_DisplayCoverage <FILE *file> <StabilityFigure *stbfig>
5 D
\bDE
\bES
\bSC
\bCR
\bRI
\bIP
\bPT
\bTI
\bIO
\bON
\bN
6 Prints a coverage report concerning all the signals checked or not
9 A
\bAR
\bRG
\bGU
\bUM
\bME
\bEN
\bNT
\bTS
\bS
10 f
\bfi
\bil
\ble
\be File where to save the report, _
\bs_
\bt_
\bd_
\bo_
\bu_
\bt for standard out-
13 s
\bst
\btb
\bbf
\bfi
\big
\bg Stability figure.
15 -
\b-d
\bde
\bet
\bta
\bai
\bil
\bl Output the list of the signals not checked.
17 E
\bEX
\bXA
\bAM
\bMP
\bPL
\bLE
\bE _
\bs_
\bt_
\bb_
\b__
\bD_
\bi_
\bs_
\bp_
\bl_
\ba_
\by_
\bC_
\bo_
\bv_
\be_
\br_
\ba_
\bg_
\be _
\bs_
\bt_
\bd_
\bo_
\bu_
\bt _
\b$_
\bs_
\bf_
\bi_
\bg _
\b-_
\bd_
\be_
\bt_
\ba_
\bi_
\bl