2 search results - page 1 / 1 » Enforcing architectural contracts in high-level synthesis |
DAC
2011
ACM
12 years 4 months ago
2011
ACM
We present a high-level synthesis technique that takes as input two orthogonal descriptions: (a) a behavioral architectural contract between the implementation and the user, and (...
EEE
2005
IEEE
13 years 10 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...