Mentor v8.6_4 ユーザーズマニュアル
![Mentor](https://files.manualsbrain.com/attachments/d00bf2d59f41402c217e360dd99f091d0cf5f9c4/common/fit/150/50/827c18e944ba329c56dd7a5b3e61d17255e9ede4423201f9105d21fe5532/brand_logo.png)
Command Dictionary
Update Implication Detections
FastScan and FlexTest Reference Manual, V8.6_4
2-623
Update Implication Detections
Tools Supported: FastScan and FlexTest
Scope: Atpg and Fault modes
Prerequisites: You can use this command when there is an active fault list and you
are using the stuck-at fault model.
Usage
UPDate IMplication Detections
Description
Performs an analysis on the undetected and possibly-detected faults to see if the
tool can classify any of those faults as detected-by-implication.
tool can classify any of those faults as detected-by-implication.
By invocation default, the tool only analyzes scan-path-associated faults for the
detected-by-implication classification. The tool classifies the following faults as
detected-by-implication when you issue the Update Implication Detections
command:
detected-by-implication classification. The tool classifies the following faults as
detected-by-implication when you issue the Update Implication Detections
command:
•
A stuck-at-1 fault on the set input line of a transparent latch, scan latch,
scan D flip-flop, shadow, copy, or sequential cell when the tool detects the
stuck-at-1 fault on the output.
scan D flip-flop, shadow, copy, or sequential cell when the tool detects the
stuck-at-1 fault on the output.
•
A stuck-at-1 fault on the reset input line of a transparent latch, scan latch,
scan D flip-flop, shadow, copy, or sequential cell when the tool detects the
stuck-at-0 fault on the output.
scan D flip-flop, shadow, copy, or sequential cell when the tool detects the
stuck-at-0 fault on the output.
•
A stuck-at-0 fault on a clock input line of a transparent latch, scan latch,
scan flip flop, shadow, copy, or sequential cell when the tool detects both
the stuck-at-0 and stuck-at-1 faults for the associated data line.
scan flip flop, shadow, copy, or sequential cell when the tool detects both
the stuck-at-0 and stuck-at-1 faults for the associated data line.
•
A stuck-at-0 fault on a data input line of a transparent latch, scan latch, scan
D flip-flop, shadow, copy or sequential cell when the tool detects the stuck-
at-0 fault and no other ports can capture a 1.
D flip-flop, shadow, copy or sequential cell when the tool detects the stuck-
at-0 fault and no other ports can capture a 1.
•
A stuck-at-1 fault on a data input line of a transparent latch, scan latch, scan
D flip-flop, shadow, copy, or sequential cell when the tool detects the
stuck-at-1 fault on the data output and no other port can capture a 0.
D flip-flop, shadow, copy, or sequential cell when the tool detects the
stuck-at-1 fault on the data output and no other port can capture a 0.