TI authors report ANA-MODELGEN automation for AMS models and self-checking testbenches
A Texas Instruments DAC 2026 presentation describes ANA-MODELGEN, an automated flow that generates analog behavioral models and self-checking testbenches from specifications, then checks model equivalence against SPICE. The presentation says the flow was deployed in production SoC verification flows. This records the authors' reported deployment and scope; it does not generalize the result beyond the presented TI flow.
Evidence
ANA-MODELGEN: Automating Analog IP Model Generation and Validation for Efficient Mixed-Signal Verification ↗
The official DAC 2026 record identifies the TI presentation and describes automated model and self-checking-testbench generation, SPICE-equivalence checking, and reported deployment in production SoC verification flows.