Name
Abstract | ||
|---|---|---|
In the hardware world, off-the-shelf heterogeneous components called IPs can be reused to build complex embedded systems such as systems-on-chips (SoCs). Converters are required to bridge these components because of differences in their interfaces. In this work, we present a framework to generate a converter, given rigorous specifications of the component IPs. This framework consists of a front-end that builds a verified raw converter, and a back-end that allows selection of the `best' converter based on predicted performance. We define protocols with uncontrollability, safeness, validity and correctness conditions, and we use temporal logic to specify properties. A model checker is integrated into the framework to verify the properties. The framework has been implemented, and we illustrate the technique by synthesising a converter for a simple pair of protocols. We also apply our model to industry-standard AMBA bus protocols to show industrial applicability. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/SSIRI.2010.21 | SSIRI |
Keywords | Field | DocType |
protocols,protocol converter,industrial applicability,component ips,hardware world,correctness condition,off-the-shelf heterogeneous component,component reuse,verification,industry standard amba bus protocols,complex embedded system,system-on-chip,system buses,amba bus protocol,ip,logic design,model checker,off-the-shelf heterogeneous components,temporal logic,raw converter,embedded systems,valid safe protocol converter,systems-on-chips,soc design,complex embedded systems,rigorous specification,manufacturing,system on chip,embedded software,pediatrics,hardware,front end,job design,embedded system,reliability engineering,computer science,generators,integrated circuits,computer architecture,strontium | Logic synthesis,System on a chip,Model checking,Computer science,Correctness,Real-time computing,Protocol converter,Converters,Temporal logic,Integrated circuit,Embedded system | Conference |
ISBN | Citations | PageRank |
978-1-4244-7435-6 | 3 | 0.43 |
References | Authors | |
9 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jing Cao | 1 | 20 | 2.99 |
| Albert Nymeyer | 2 | 106 | 9.98 |