Ja. Darringer et al., LSS: A system for production logic synthesis (Reprinted from IBM Journal of Research and Development, vol 28, 1984), IBM J RES, 44(1-2), 2000, pp. 157-165
For some time we have been exploring methods of transforming functional spe
cifications 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 pressu
re to shorten machine design times. This paper describes the evolution of t
he 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 o
ne hundred chip parts. The primary reasons for this success are the use of
local transformations to simplify logic representations at several levels o
f 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 syste
m.