LSS: A system for production logic synthesis

For some time we have been exploring methods of transforming functional specifications into hardware implementations that are suitable for production. The complexity of this task and the potential value have continued to grow with the increasing complexity of processor design and the mounting pressure to shorten machine design times. This paper describes the evolution of the Logic Synthesis System from an experimental tool to a production system for the synthesis of masterslice chip implementations. The system was used by one project in IBM Poughkeepsie to produce 90 percent of its more than one hundred chip parts. The primary reasons for this success are the use of local transformations to simplify logic representations at several levels of abstraction, and a highly cooperative effort between logic designers and synthesis system designers to understand the logic design process practiced in Poughkeepsie and to incorporate this knowledge into the synthesis system.

[1]  Donald E. Thomas,et al.  Automatic Data Path Synthesis , 1983, Computer.

[2]  Dave Johannsen,et al.  Bristle Blocks: A Silicon Compiler , 1979, 16th Design Automation Conference.

[3]  Gordon L. Smith,et al.  Boolean Comparison of Hardware and Flowcharts , 1982, IBM J. Res. Dev..

[4]  Louise Trevillyan,et al.  Logic Synthesis Through Local Transformations , 1981, IBM J. Res. Dev..

[5]  J. B. Bendas Design Through Transformation , 1983, 20th Design Automation Conference Proceedings.

[6]  R. Leon Price,et al.  Development and application of a designer oriented cyclic simulator , 1976, DAC '76.

[7]  R. N. Gustafson,et al.  IBM 3081 Processor Unit: Design Considerations and Design Process , 1982, IBM J. Res. Dev..

[8]  Bruce B. Winter,et al.  Automated Technology Mapping , 1984, IBM J. Res. Dev..

[9]  Daniel Brand Redundancy and Don't Cares in Logic Synthesis , 1983, IEEE Transactions on Computers.

[10]  Jay R. Southard,et al.  MacPitts: An Approach to Silicon Compilation , 1983, Computer.