Academic
Publications
A Trace-Based Framework for Verifiable GALS Composition of IPs

A Trace-Based Framework for Verifiable GALS Composition of IPs,10.1109/TVLSI.2008.2000869,IEEE Transactions on Very Large Scale Integration Systems,Sy

A Trace-Based Framework for Verifiable GALS Composition of IPs   (Citations: 2)
BibTex | RIS | RefWorks Download
Composing intellectual property (IP) blocks running at different clock speeds over asynchronous communication links for a system-on-chip (SoC) design is a challenging task, especially for ensuring the functional correctness of the overall design. In this paper, we propose a trace-based framework that helps in identifying a class of IPs that can be composed to ldquocorrect-by-constructionrdquo globally asynchronous locally synchronous (GALS) designs, and their correctness is maintained with respect to their synchronous compositions. Our notion of correctness is latency equivalence. Latency equivalence means that the order of valid values is same on the corresponding signals in the synchronous as well as asynchronous compositions. We also provide a description of the protocol to be inserted between the IPs to obtain this equivalence.
Journal: IEEE Transactions on Very Large Scale Integration Systems - VLSI , vol. 16, no. 9, pp. 1176-1186, 2008
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: