The Community for Technology Leaders
Design Automation Conference (2000)
Los Angeles, CA
June 5, 2000 to June 9, 2000
ISBN: 1-58113-1897-9
pp: 196-200
William R. Lee , System Level Design Methodology Leader, IBM, ASICs, NC
Amit Goel , Hamerschlag Hall, Pittsburgh, PA
ABSTRACT
This paper describes the model checking effort for an arbiter core for the IBM CoreConnect Architecture. We present our verification methodology and describe how it was influenced by the architecture. We also present and analyze the bugs found and discuss the difficulties associated with verifying complex on-chip buses, highlighting the need for better tools and methodologies for their specification and verification.
INDEX TERMS
fault modeling, fault simulation, hard faults, test vector generation
CITATION
William R. Lee, Amit Goel, "Formal Verification of an IBM CoreConnect Processor Local bus Arbiter Core", Design Automation Conference, vol. 00, no. , pp. 196-200, 2000, doi:10.1109/DAC.2000.855303
108 ms
(Ver )