Interface design and controller synthesis of digital systems in an object oriented environment

Abstract The paper proposes a design environment over an objct oriented database system for representation and synthesis of circuits. Circuits in the underlying object oriented environment are modeled as classes. An interface description of the circuits class is maintained as a part of the class to facilitate its reuse. A scheme for synthesizing controller in such an environment is presented. The controller of a circuit is synthesized from the local controllers of the modules present in its datapath. Petri net model has been adopted to represent the controller.

[1]  Wolfgang Rosenstiel,et al.  Synthesizing circuits from behavioural descriptions , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2]  Alice C. Parker,et al.  Synthesis of Hardware for the Control of Digital Systems , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Zebo Peng.  Construction of Asynchronous Concurrent Systems from their Behavioral Specifications , 1986, IFIP Congress.

[4]  Charles W. Rose,et al.  Modeling and design description of hierarchical hardware/software systems , 1975, DAC '75.

[5]  Peter Honeyman,et al.  A Database-Driven VLSI Design System , 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Holger Busch,et al.  Proof-aided design of verified hardware , 1991, 28th ACM/IEEE Design Automation Conference.

[7]  Donald E. Thomas,et al.  Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench , 1989 .

[8]  Arun K. Majumdar,et al.  VLODS: a VLSI object oriented database system , 1991, Inf. Syst..

[9]  Giovanni De Micheli,et al.  Synthesis of ASICs with Hercules and Hebe , 1991 .

[10]  Won Kim,et al.  Modeling concepts for VLSI CAD objects , 1985, TODS.

[11]  Wayne H. Wolf,et al.  How to build a hardware description and measurement system on an object-oriented programming language , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  Nikil D. Dutt,et al.  An intermediate representation for behavioral synthesis , 1991, DAC '90.

[13]  Paul McLellan.  Effective Data Management for VLSI Design , 1985, DAC 1985.

[14]  Alice C. Parker,et al.  Tutorial on high-level synthesis , 1988, DAC '88.

[15]  Bernd Kleinjohann,et al.  Synthesis of Concurrent Modular Controllers from Algorithmic Descriptions , 1986, DAC 1986.

[16]  Raul Camposano.  From behavior to structure: high-level synthesis , 1990, IEEE Design & Test of Computers.

[17]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[18]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[19]  Randy H. Katz.  A Database Approach for Managing VLSI Design Data , 1982, DAC 1982.

[20]  Wayne Wolf.  An Object-Oriented, Procedural Database for VLSI Chip Planning , 1986, DAC 1986.