{ banner { } } {report_coverage_summary { { columns { { check } { number } { met } { violated }{ untested } } } } } -unsorted: report中不用sort排列 -verbose:报出详细的timing check信息 -view:指定特定的view去做timing check 例子:...