TI authors present an analog assertion and coverage toolbox for SPICE and behavioral models
A Texas Instruments DAC 2025 presentation describes an Analog Assertion and Coverage Toolbox that checks range, frequency, ramp, and glitch behavior and identifies stimulus gaps across SPICE and behavioral-model verification. The record supports the presented checker and coverage workflow; it does not establish use on every TI program.
Evidence
AACT: Automated Analog Coverage Tool for Mixed Signal Verification ↗
The official DAC 2025 record identifies the TI presentation and describes range, frequency, ramp, and glitch checking plus stimulus-gap detection across SPICE and behavioral models.