DocumentCode
2215521
Title
Formal verification of iterative algorithms in microprocessors
Author
Aagaard, Mark D. ; Jones, Robert B. ; Kaivola, Roope ; Kohatsu, Katherine R. ; Seger, Carl-Johan H.
Author_Institution
Intel Corporation
fYear
2000
fDate
2000
Firstpage
201
Lastpage
206
Keywords
Algorithm design and analysis; Circuit testing; Computer aided instruction; Counting circuits; Engines; Formal verification; Iterative algorithms; Iterative decoding; Microprocessors; Permission;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN
1-58113-187-9
Type
conf
DOI
10.1109/DAC.2000.855304
Filename
855304
Link To Document