Synthesis framework

Shah PB and Kokossis AC (2002) New Synthesis Framework for the Optimization of Complex Distillation Systems, AIChE J, 48 527. 

Shah PB, Kokossis AC. New synthesis framework for the optimization of complex distillation systems. AIChE J 2002 48 527. 

Caveats. Those familiar with cluster chemistry will mark the absence of cluster synthesis, framework dynamics and reactivity. Considerable information exists and these topics for selected cluster types are well developed in cluster reviews and edited volumes. However, our focus on electronic structure is deliberate. We wished to compare and contrast geometric and electronic structure across the large sweep of element composition and cluster size up to and including bulk materials. To keep the book of manageable size relative to a typical one-semester advanced course yet... 

In the previous chapter, we briefly outlined our 2.5-D layout synthesis framework. In this chapter, the 2.5-D layout tools are applied on floorplan level designs. We will introduce our floorplanning algorithms along with the design case studies in this chapter. 

In the work reported in this book, a prototyping layout synthesis framework for 2.5-D integrated VLSI systems has been constructed. To provide 2.5-D specific optimization, the existing tools have to be extended with new features and at the same time new tools have to be developed. 

Ismail S., Proios P. and Pistikopoulos E. (2001). Modular synthesis framework for combined separa-tion/reaction systems. AIChE Journal 47 (3), 629-649. 3.3.1, 8.3.1... 

Time delays in MIMO systems could result in an infinite number of transmission zeros. This effect is explored in [6, 7] where a test for the presence of infinitely many RHPT zeros is developed and asymptotic formulas for their computation derived. A synthesis framework is also proposed whereby the additional amount of time delay required to eliminate the presence of infinite RHPT zeros may be determined. 

Knapp and Doherty present the economic optimum design of an acetone-methanol separation using water as the extractive solvent. The design used in this chapter is based on their work. Kossack et al. presented a systematic synthesis framework for extractive distillation systems and the acetone-methanol system was considered. 

How to achieve a synthesis that yields logic algorithms that are correct wrt their intentions This is impossible to guarantee with specifications by examples and properties. However, the stepwise synthesis framework of Section 7.3.2 and the correctness theorems of the seven synthesis steps clearly identify the critical points, where interaction with the specifier should thus take place. 

We use the environment shown in Figure 6 as a representative synthesis framework to show the utility of BIF. The figure is organized into three columns the synthesis tasks on the left, the user interface on the right, and different design views of the intermediate representation in the middle the state table, the unit list, the connectivity list, and the symbol list. 

A synthesis framework. The core of the system is the synthesis framework [Lan91], which acts both as a central data-structure and as a unified design representation at all levels. Methods for design transformation are an integral part of this framework. Although tuned to real-time signal... 

The outline of this paper is as follows. In Section 2, the architectural styles which are currently supported by the CATHEDRAL environment are described. Section 3 focuses on the synthesis framework, which is the core of the synthesis system. The different synthesis tasks and their composition in a synthesis script are discussed in Section 4. Finally, in Section 5, our approach is evaluated on a realistic design from the domain of digital audio. 

The core of the CATHEDRAL environment is the synthesis framework [Lan91]. In view of the flexible composition of specialised synthesis scripts and the implementation of many specific synthesis tools, the key issues of this framework are design representation and design transformation ... 

Outline of the CATHEDRAL synthesis framework The framework contains three information kernels ... 

Only when the synthesis script and the detailed characterisation of the individual steps are fully specified, the work can start to support this customised methodology with synthesis techniques and eventually with synthesis tools. Here, it has to be carefully weighed in each case whether a new technique or tool should be developed, or whether an existing tool can be reused in a new script tuned to another style. Actually, this reuse of tools in different scripts forms one of the main motivations for our common synthesis framework discussed in Section 3. Each tool is organised as a separate C or C-h-f programme, while the script itself is implemented as a standard Unix shell script. Only a textual user interface is available at present. 

It has to be stressed that the following tasks only address the part of the trajectory from an initial system specification to a detailed architecture. The steps from there to a verified, testable VLSI implementation have been reported elsewhere (see e.g. [DeM90]). Moreover, several of the synthesis tasks are not yet supported by actual techniques. These gaps are currently filled by manual intervention which is eased by the use of the common synthesis framework (Section 3). Research on these open tasks is in progress though. 

---