Srinivas Devadas, Kurt Keutzer, A. S. Krishnakumar. Design Verfication and Reachability Analysis Using Algebraic Manipulation. In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 91, Cambridge, MA, USA, October 14-16, 1991. pages 250-258, IEEE Computer Society, 1991.
Abstract is missing.