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