scispace - formally typeset
Search or ask a question

Showing papers by "Santonu Sarkar published in 1997"


Journal ArticleDOI
01 Sep 1997
TL;DR: An automated design and synthesis environment called DOORS has been proposed that can accept a complex system specification at such a high level of abstraction and synthesises the circuit.
Abstract: To expedite the design process of a complex system, it is required to view the system as interactions of complex subsystems which are not necessarily RTL components and synthesise the hardware from such a specification In the paper, an automated design and synthesis environment called DOORS has been proposed that can accept a complex system specification at such a high level of abstraction and synthesises the circuit DOORS is based on an object-oriented design methodology Circuit elements are treated as classes The designer describes the circuit behaviour as a sequence of state transitions in response to external messages The method executed in response to a message is transparent to the external world The specification may involve presynthesised components whose functionalities are invoked by sending messages to them The synthesis system of DOORS accepts the specification and synthesises the circuit in terms of these components The authors have mainly concentrated on the datapath synthesis mechanism of DOORS

4 citations


Proceedings ArticleDOI
04 Jan 1997
TL;DR: A scheme to identify under what condition a circuit, capable of performing a given set of operations/functions, can be reused while designing another circuit, and the algorithm to verify the external controllability has been proposed.
Abstract: In this paper, a scheme has been proposed to identify under what condition a circuit, capable of performing a given set of operations/functions, can be reused while designing another circuit. This is characterized by a concept called external controllability of a function. When a function is externally controllable, the circuit executing the function, can be reused subsequently. The concept of external controllability has been formalized around finite state machine model. Also, the algorithm to verify the external controllability has been proposed.