Sciweavers

2 search results - page 1 / 1
» Using Formal Techniques to Debug the AMBA System-on-Chip Bus...
Sort
View
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
13 years 10 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
13 years 11 months ago
A Formal Approach To The Protocol Converter Problem
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Rames...