The DVClub held on 6 December 2010 in Bristol, Cambridge and Eindhoven, with remote access too, considered Analog Mixed Singal Verification.
“Advanced methodologies used for top-level verification of mixed signal products”, Roger Witlox/Marcel Oosterhuis NXP, BU Automotive, PL Integrated IVN & Flexray “Analogue BehaviouralModelling: An Inconvenient Truth”, Dave Wiltshire, Texas Instruments “Using Assertions in AMS Verification”, Scott Little, AMS Verification Engineer