Mentor v8.6_4 - page 153

Command Dictionary Analyze Bus
FastScan and FlexTest Reference Manual, V8.6_4 2-125
The following example displays the current categorization of bus gates, and then
performs the prevention check on a specific bus gate:
set system mode drc
analyze bus -drc_check
// ATPG bus checking results: pass=1, bidi=1, fail=0, abort=0,
CPU time=0.00.
analyze bus 495 -prevention
// Controllability justification was successful (data
accessible using parallel_pattern 0).
// Pattern type: Basic_scan
Related Commands
Report Bus Data
Set Gate Level Set Contention Check