DocumentCode

2567817

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

fYear

1997

fDate

9-13 June 1997

Firstpage

167

Lastpage

172

Keywords

Associative memory; CADCAM; Cams; Circuits; Computer aided manufacturing; Encoding; Formal verification; Microprocessors; Modems; Permission;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1997. Proceedings of the 34th

Conference_Location

Anaheim, CA, USA

ISSN

0738-100X

Print_ISBN

0-7803-4093-0

Type

conf

DOI

10.1109/DAC.1997.597138

Filename

597138