Sciweavers

Share
DATE
2009
IEEE

Multi-clock Soc design using protocol conversion

9 years 9 months ago
Multi-clock Soc design using protocol conversion
The automated design of SoCs from pre-selected IPs that may require different clocks is challenging because of the following issues. Firstly, protocol mismatches between IPs need to be resolved automatically before IPs are integrated. Secondly, the presence of multiple clocks makes the protocol conversion even more difficult. Thirdly, it is desirable that the resulting integration is correct-by-construction, i.e., the resulting SoC satisfies given system-level specifications. All of these issues have been studied extensively, although not in a unifying manner. In this paper we propose a framework based on protocol conversion that addresses all these issues. We have extensively studied many SoC design problems and show that the proposed methodology is capable of handling them better than other known approaches. A significant contribution of the proposed approach is that it nicely generalizes many existing techniques for formal SoC design and integrates them into a single approach.
Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Sa
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where DATE
Authors Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic
Comments (0)
books