Mixed Signal Assertion Based Verification - Cadence Design Systems
Mixed Signal Assertion Based Verification - Cadence Design Systems Mixed Signal Assertion Based Verification - Cadence Design Systems
ADC PSL Checking Basic Functionality Integrator Functionality ◦ The sign of the integrator preserved positive cycle and negative cycle ◦ First assertions leverages internally generated VerilogAMS values ADC PSL Checking Sequential Bit Patterns Modulator Stability ◦ Checking for the presence of undesirable bit patterns ◦ Repeating bit patterns leading to audible tones/clicks 11/12/2010 10
ADC PSL Viewing the Results Assertion Browser vs. Waveforms You be the judge… Mixed Signal Assertion Based Verification Is Assertion Based Verification Applicable pp to Mixed Signal Designs? ADC’s, DAC’s, Switch Cap Filters, Serdes good candidates ADC Example Demonstrated Verification of Key Behavior ◦ Integrator behavior ◦ Comparator Operations ◦ Loop SStability bili Fundamentals d l Technology Exists Today to Augment Existing Methodologies with Assertion Based Verification 11/12/2010 11
- Page 1 and 2: www.armtechcon.com Agenda November
- Page 3 and 4: Analog Effects Into Logic Verificat
- Page 5 and 6: Spe c Introduction to Assertion Bas
- Page 7 and 8: PSL Mixed Signal Assertions PSL is
- Page 9: Leveraging Assertions In an ADC Cap
ADC PSL Viewing the Results<br />
<strong>Assertion</strong> Browser vs. Waveforms<br />
You be the judge…<br />
<strong>Mixed</strong> <strong>Signal</strong> <strong>Assertion</strong> <strong>Based</strong> <strong>Verification</strong><br />
Is <strong>Assertion</strong> <strong>Based</strong> <strong>Verification</strong> Applicable pp to<br />
<strong>Mixed</strong> <strong>Signal</strong> <strong>Design</strong>s?<br />
ADC’s, DAC’s, Switch Cap Filters, Serdes good candidates<br />
ADC Example Demonstrated <strong>Verification</strong> of Key Behavior<br />
◦ Integrator behavior<br />
◦ Comparator Operations<br />
◦ Loop SStability bili Fundamentals d l<br />
Technology Exists Today to Augment Existing Methodologies<br />
with <strong>Assertion</strong> <strong>Based</strong> <strong>Verification</strong><br />
11/12/2010<br />
11