Ravishankar Kodavarti, Don E. Ross. Signal probability calculations using partial functional manipulation. In 11th IEEE VLSI Test Symposium (VTS'93), 6 Apr 1993-8 Apr 1993, Atlantic City, NJ, USA. pages 194-200, IEEE, 1993. [doi]
Abstract is missing.