50 search results - page 1 / 10 » Automatic Synthesis of Interfaces Between Incompatible Proto... |
78
Voted
DAC
1998
ACM
16 years 1 months ago
1998
ACM
90
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
110
click to vote
FAC
2008
14 years 11 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
122
click to vote
ACSD
2006
IEEE
15 years 2 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
91
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...