A NEW ALGORITHM FOR IMPLEMENTATION OF DESIGN FUNCTIONS BY AVAILABLE DEVICES

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 describ es an approach to automatically derive the specifications of the devic e's interface, For sequential circuits, the behaviors are often repres ented 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, subjec t to the transformations of the interface, A related objective, addres sed in this paper, is to model the behaviors of complex devices in a w ay that facilitates the analysis.