C.-J. Richard Shi. Mixed-signal system-on-chip verification using a recursively-verifying-modeling (RVM) methodology. In International Symposium on Circuits and Systems (ISCAS 2010), May 30 - June 2, 2010, Paris, France. pages 1432-1435, IEEE, 2010. [doi]
Abstract is missing.