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.
@inproceedings{DevadasKK91,
title = {Design Verfication and Reachability Analysis Using Algebraic Manipulation},
author = {Srinivas Devadas and Kurt Keutzer and A. S. Krishnakumar},
year = {1991},
tags = {analysis, algebra, design},
researchr = {https://researchr.org/publication/DevadasKK91},
cites = {0},
citedby = {0},
pages = {250-258},
booktitle = {Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 91, Cambridge, MA, USA, October 14-16, 1991},
publisher = {IEEE Computer Society},
isbn = {0-8186-2270-9},
}