Prabhat Jain, Ganesh Gopalakrishnan. Some Techniques for Efficient Symbolic Simulation-Based Verification. In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 92, Cambridge, MA, USA, October 11-14, 1992. pages 598-602, IEEE Computer Society, 1992.
@inproceedings{JainG92,
title = {Some Techniques for Efficient Symbolic Simulation-Based Verification},
author = {Prabhat Jain and Ganesh Gopalakrishnan},
year = {1992},
tags = {rule-based},
researchr = {https://researchr.org/publication/JainG92},
cites = {0},
citedby = {0},
pages = {598-602},
booktitle = {Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 92, Cambridge, MA, USA, October 11-14, 1992},
publisher = {IEEE Computer Society},
isbn = {0-8186-3110-4},
}