"Real World" Problems in the Analog and Mixed Signal Domains

More documents

Recommendations

Info

Challenge for Formal Methods • The “obvious” digital abstraction doesn’t hold • It has interesting failure modes • It is very sensitive to the exact sizing of the ring and bridge transistors • It has sensitivities to initial conditions for some sizes • The challenge: Show that this circuit oscillates for all initial conditions for some sizing • Extra credit: Show the sizing ratios regions for the ring and bridge transistors DCC 08 Slide 19 Good DCC 08 Slide 20
Bad DCC 08 Slide 21 Ugly DCC 08 Slide 22
Page 1 and 2: DCC 08 DCC 08 Some "Real World" Pro
Page 3 and 4: Digital Abstraction • States are
Page 5 and 6: Verification of Analog circuits •
Page 7 and 8: Bugs in Analog/MS Systems • Param
Page 9: DCC 08 An even stage ring Oscillato
Page 13 and 14: PLL Locking Bugs (II) DCC 08 Slide
Page 15 and 16: A Verification Nightmare • Indivi
Page 17 and 18: Domain Translators • VPhase Detec
Page 19: Some further reading • General an

"Real World" Problems in the Analog and Mixed Signal Domains

Create successful ePaper yourself

Delete template?

Save as template?