@inproceedings{DAC-1997-PandeyRBA,
	author        = "Manish Pandey and Richard Raimi and Randal E. Bryant and Magdy S. Abadir",
	booktitle     = "{Proceedings of the 34th Design Automation Conference}",
	doi           = "10.1145/266021.266056",
	isbn          = "0-89791-920-3",
	pages         = "167--172",
	publisher     = "{ACM Press}",
	title         = "{Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation}",
	year          = 1997,
}