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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2215521
