Title :
Formal Verification Of Content Addressable Memories Using Symbolic Trajectory Evaluation
Author :
Pandey, Manish ; Raimi, Richard ; Bryant, Randal E. ; Abadir, Magdy S.
Author_Institution :
School of Computer Science, Carnegie Mellon University
Keywords :
Associative memory; CADCAM; Cams; Circuits; Computer aided manufacturing; Encoding; Formal verification; Microprocessors; Modems; Permission;
Conference_Titel :
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-7803-4093-0
DOI :
10.1109/DAC.1997.597138
