50 search results - page 1 / 10 » Automatic Synthesis of Interfaces Between Incompatible Proto... |
DAC
1998
ACM
14 years 12 months ago
1998
ACM
HICSS
2003
IEEE
14 years 4 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...
FAC
2008
13 years 10 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 ...
ACSD
2006
IEEE
14 years 26 days 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 ...
DATE
2009
IEEE
14 years 5 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...