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]
No references recorded for this publication.
No citations of this publication recorded.