A graph-based silicon compiler for concurrent VLSI systems

A silicon compiler able to synthesize concurrent VLSI systems is described. This compiler differs from most existing silicon compilers as there is no target architecture, and yet results have shown that it performs reasonably well for a range of applications. It features a novel technique for control-step partitioning based on a precedence graph. Concurrency is detected and extracted from the input description in order to generate a fast implementation. The graph, which corresponds to a state diagram of the circuit, is further optimized using a simple rule-based approach. A controller able to control any number of concurrent processes, based on a synchronous token-passing mechanism, is generated. Control signals are submitted to two-level and multilevel logic minimization, and they can be implemented either as a programmable logic arrays (PLA) or with standard cells. The data path is generated as a netlist of technology-independent parameterized cells which are mapped into cells from a library by a module binder. The final layout is automatically generated by placement-and-routing programs.<<ETX>>

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

[2]  Daniel P. Siewiorek,et al.  A design methodology and computer aids for digital VLSI systems , 1981 .

[3]  A. J. Currie,et al.  A VLSI Design Language Incorporating Self-timed Concurrent Processes , 1984 .

[4]  Donald Leo Dietmeyer,et al.  Logic design of digital systems , 1971 .

[5]  Alice C. Parker,et al.  MAHA: A Program for Datapath Synthesis , 1986, DAC 1986.

[6]  Gerald E. Sobelman,et al.  Yet Another Silicon Compiler , 1985, DAC 1985.

[7]  D. J. Allerton,et al.  Functional Simulation as an Adjunct to Silicon Compilation , 1984 .

[8]  C. Whitby-Strevens,et al.  BCPL, the language and its compiler , 1979 .

[9]  Raúl Camposano.  Synthesis Techniques for Digital Systems Design , 1985, DAC 1985.

[10]  E. F. Girczyc,et al.  HAL: A Multi-Paradigm Approach to Automatic Data Path Synthesis , 1986, 23rd ACM/IEEE Design Automation Conference.

[11]  A. J. Currie,et al.  SCHOLAR - Another Approach to Silicon Compilation , 1984 .

[12]  T. Blackman,et al.  The Silc™ Silicon Compiler: Language and Features , 1985, 22nd ACM/IEEE Design Automation Conference.

[13]  Daniel P. Siewiorek,et al.  Facet: A Procedure for the Automated Synthesis of Digital Systems , 1983, 20th Design Automation Conference Proceedings.

[14]  Donald E. Thomas,et al.  The VLSI Design Automation Assistant: What's in a Knowledge Base , 1985, DAC 1985.

[15]  John P. Knight,et al.  Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[16]  A. J. Beames.  A Pascal based Design Tool for Digital Systems , 1983, ESSCIRC '83: Ninth European Solid-State Circuits Conference.

[17]  William W. Cohen,et al.  A Rule-Based System for Optimizing Combinational Logic , 1985, IEEE Design & Test of Computers.