Flexibillity in logic
Ellen M. Sentovich, Daniël Brand · 2001
It is possible to synthesize more efficient implementations if we remove the requirement of preserving local functionality. This can be done to some degree by taking into account the environment of the logic targeted by synthesis. The environment provides flexibility in the choice of functionality. This chapter describes how a designer can specify the environment information, how the environment information can be derived, and how synthesis can take advantage of it.