Forced simulation: A technique for automating component reuse in embedded systems
DSpace at IIT Bombay
View Archive InfoField | Value | |
Title |
Forced simulation: A technique for automating component reuse in embedded systems
|
|
Creator |
ROOP, PS
SOWMYA, A RAMESH, S |
|
Subject |
implementation
design finite component reuse embedded systems forced simulation interface generation simulation relation verification |
|
Description |
Component reuse techniques have been a recent focus of research because they are seen as the next-generation techniques to handle increasing system complexities. However, there are several unresolved issues to be addressed and prominent among them is the issue of component matching. As the number of reusable components in a component database grows, the task of manually matching a component to the user requirements becomes infeasible. Automating this matching can help in rapid system prototyping, improving quality and reducing cost. In addition, if the matching algorithm is sound, this approach can also reduce precious validation effort. In this article, we propose an algorithm for automatic matching of a design function to a device from a component database. The distinguishing feature of the algorithm is that when successful, it generates an interface that can automatically adapt the device to behave as the function. The algorithm is based on a new simulation relation called forced simulation that is shown to be a necessary and sufficient condition for component matching to be possible for a given pair of function and device. We demonstrate the application of the algorithm by reusing on some programmable components of the Intel family.
|
|
Publisher |
ASSOC COMPUTING MACHINERY
|
|
Date |
2011-07-18T20:39:10Z
2011-12-26T12:50:49Z 2011-12-27T05:36:56Z 2011-07-18T20:39:10Z 2011-12-26T12:50:49Z 2011-12-27T05:36:56Z 2001 |
|
Type |
Article
|
|
Identifier |
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 6(4), 602-628
1084-4309 http://dx.doi.org/10.1145/502175.502185 http://dspace.library.iitb.ac.in/xmlui/handle/10054/5058 http://hdl.handle.net/10054/5058 |
|
Language |
en
|
|