Presentation
Morph-Inspect: Structural Assurance for Inserted Logic
DescriptionInserted logic from EDA flows (e.g., DFT, MBIST, implementation refinement) often lacks end-to-end assurance that it is structurally verified. We present Morph-Inspect, a cross-collateral methodology that guarantees every inserted construct is found and checked by structural tools. First, we perform an HDL semantic diff between baseline and post‑insertion designs to discover additions—modules, instances, ports, signals, expressions, and subexpressions. Each insertion is labeled and logged into a queryable database with file, line range, type, parent, timestamp, and content. Second, verification collateral (lint/DFT/structural reports) is ingested and mapped to those labels. A correlation engine computes Inserted-Logic Check Coverage, highlights omissions, and produces actionable recommendations. Optional AI assistance classifies checked vs. un-checked constructs and proposes rule updates. The approach integrates with CI to enforce coverage thresholds and emit diffs when gaps occur. Morph-Inspect flags missing checks (e.g., scan_enable ports) and validates checking avoiding late-cycle rework. This methodology improves design quality, accelerates debug, and provides auditable evidence that inserted structures are faithfully verified before sign-off.
Event Type
Engineering Poster
TimeWednesday, July 293:00pm - 4:00pm PDT
LocationDAC Pavilion, Exhibit Floor