Record Details

Forced simulation: A technique for automating component reuse in embedded systems

DSpace at IIT Bombay

View Archive Info
 
 
Field 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