Sciweavers

Share
ICCAD
2008
IEEE

Verifying external interrupts of embedded microprocessor in SoC with on-chip bus

10 years 16 days ago
Verifying external interrupts of embedded microprocessor in SoC with on-chip bus
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with other IP components, they suffer from the complicated bus protocol and IP conflict problems. This paper proposes a automatic method to verify the microprocessor external interrupt behaviors on the OCB. The verification approach is based on the Processor External Interrupt Verification Tool (PEVT) whose simulation environment is direct-connected memory. In this paper, we implement the PEVT-SoC and successfully verify two SoC platforms, one academic microprocessor and one public domain microprocessor. An interesting bug appears that is impossible to be discovered in the memory bus and not easy to be identified on the OCB. The result shows that the PEVT-SoC effectively shortens the verification time regardless of the system complexity and can be easily migrated to different platforms/microprocessors. With littl...
Fu-Ching Yang, Jing-Kun Zhong, Ing-Jer Huang
Added 16 Mar 2010
Updated 16 Mar 2010
Type Conference
Year 2008
Where ICCAD
Authors Fu-Ching Yang, Jing-Kun Zhong, Ing-Jer Huang
Comments (0)
books