A new algorithm for implementation of design functions by available devices

Abstract

In CAD systems, it is often required to implement desired behaviors by some available device. The selection of the device that can implement the behavior, and the required interfacing, is usually done by human experts. The interface consists of transformations that may have to be performed on the inputs and outputs of the device. This paper describes an approach to automatically derive the specifications of the device's interface. For sequential circuits, the behaviors are often represented as FSM's, and hence the task is to determine whether the FSM of the desired function can be contained in the FSM of the device, subject to the transformations of the interface. A related objective, addressed in this paper, is to model the behaviors of complex devices in a way that facilitates the analysis.Zndex Terms-Behavioral mapping, rapid prototyping, device modeling.

Forced simulation

“…As a starting point for automated component matching, Mitra et al [1996] proposed an algorithm for mapping a given design function to a system-level device. However, this work presented an algorithm whose basis was informal.…”

“…If the component library is developed in such a way that it stores only prevalidated components, then, by employing such a sound mapping algorithm, we can ensure that the resulting design will be correct and save validation effort. Mitra et al [1996] proposed an informal mapping algorithm to automatically map a design function to a system level component. However, since the algorithm is based on informal concepts, it cannot guarantee that the mapping will be devoid of errors.…”

An overview of MICKEY: A knowledge-based hardware-software codesign framework for microprocessor-based systems

“…For completeness, we also present, briefly, the salient features of the individual layers. Details of the shallow layer can be found in Mitra et al (1993Mitra et al ( , 1994, and the description of the behavioural mapping algorithms can be found in Mitra et al (1996).…”