DocumentCode :
2215494
Title :
Formal verification of an IBM coreconnect processor local bus arbiter care
Author :
Goel, Amit ; Lee, William R.
Author_Institution :
Department of Electrical and Computer Engineering
fYear :
2000
fDate :
2000
Firstpage :
196
Lastpage :
200
Keywords :
Computer architecture; Computer bugs; Formal specifications; Formal verification; Intellectual property; Logic; Permission; Protocols; Silicon; System-on-a-chip;
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.855303
Filename :
855303
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2215494
بازگشت