Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir. Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation. In DAC. pages 167-172, 1997. [doi]
@inproceedings{PandeyRBA97,
title = {Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation},
author = {Manish Pandey and Richard Raimi and Randal E. Bryant and Magdy S. Abadir},
year = {1997},
doi = {10.1145/266021.266056},
url = {http://doi.acm.org/10.1145/266021.266056},
tags = {e-science},
researchr = {https://researchr.org/publication/PandeyRBA97},
cites = {0},
citedby = {0},
pages = {167-172},
booktitle = {DAC},
}