Inputs & Outputs for ATPG Constraints focuses on constraint consistency errors, illegal state count, pattern abort rate. The goal is to convert metric movement into mechanism, owner, and release decision.
Treat these as a release contract. Ambiguity here creates expensive debug loops because teams optimize against different assumptions.
INPUTS
- scan/ATPG architecture and constraints
- fault model and quality target policy
- pattern generation config + tester limits
- timing/power/physical assumptions
OUTPUTS
- quality metrics and closure status
- signed artifacts and owner approvals
- diagnosis evidence for residual risk
- release, waiver, or escalation decisionDFT FLOW - ATPG Constraints
scan insertion -> chain stitch -> compression map -> ATPG -> tester apply -> diagnosis
| | | | |
controllability shift balance channel use coverage silicon correlation
Primary metric: constraint consistency errors, illegal state count, pattern abort rateOWNERSHIP MAP - ATPG Constraints
artifact owner
---------------- -----------------
architecture/report ATPG owner
constraints/setup RTL owner
physical/test DFT owner
Name an owner for each failing metric cluster.ATPG quality comes from fault model choice plus legal constraints, not raw pattern volume alone.
ATPG FLOW
fault model -> constraints -> generation -> simulation -> coverage closure -> signoffCOVERAGE GAP
target coverage
^
| o before closure
| o after fixes
+---------------------> iterationfault model coverage
untestable class report
constraint legality errors
pattern signoff memo
Transition coverage stalled due to clock constraints mismatch; updated at-speed capture definitions recovered target.
Classify untestable faults
Diff ATPG constraints each run
Pair coverage with pattern budget
Ask: what evidence proves this DFT decision is safe for production?
State metric, lot/corner context, and pattern tag with every claim.
Treat timing, power, and quality as one signoff problem.
Chasing coverage without legality checks.
Ignoring test-power side effects of pattern changes.
Debugging silicon without reproducible tags.
ATPG constraints encode legal test-mode behavior, clocks, resets, and masks so generated patterns are both executable and meaningful.
Metric: constraint consistency errors, illegal state count, pattern abort rate
This content block can't be displayed here.
Block type: unknown
This content block can't be displayed here.
Block type: unknown
This content block can't be displayed here.
Block type: unknown