Tao Pi, C.-J. Richard Shi. Analog-testability analysis by determinant-decision-diagrams based symbolic analysis. In Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan. pages 541-546, ACM, 2000. [doi]
Abstract is missing.