Logic synthesis and optimization

Logic synthesis and optimization results Synthesis of the dataflow architectures... 

Table 4.4 Logic synthesis and optimization statistics for the dataflow style architecture...

Table 5.1 Logic synthesis and optimization statistics for four synchronous dataflow-style architectures with and without external initialization signals. Compares If and Wait versions...

Table 5.4 Logic synthesis and optimization statistics for the structural style architectures. Manually instantiated D-type and regular/irregular generated JK-type structures. All components are the optimized versions...

IBM s Yorktown Silicon Compiler includes partitioning, scheduling, data path synthesis, design iteration, controller design, logic synthesis, and timing optimization. See also Univ. of Karlsruhe s DSL Synthesis System / CADDY System — Camposano was previously involved with that system, and IBM s HIS System — Camposano is now involved with that system. 

The YIF internal representation, scheduling, data path synthesis, logic synthesis and timing optimization, and a 4-stage IBM 801. 

G. Borriello, R. Katz. Synthesis and Optimization of Interface Transduce Logic. Proceedings of the IEEE International Conference on Computer-Aided Design (ICCAD 87), November 1987. 

Table 6.6 Logic synthesis and area optimization statistics for the Booth 2 x2 multiplier architecture. Resources were not shared and performance optimization did not reduce the delay...

There is a need for advanced discrete-continuous optimization tools that can handle mixed-integer, discrete-logic, and quantitative-qualitative equations to model synthesis and planning and scheduling problems. 

Carlson, R. Design and Optimization in Organic Synthesis, Elsevier Amsterdam, the Netherlands, 1992. Carriera, E.M. Kvaemo, L. Classics in Stereoselective Synthesis, WUey-VCH Weinheim, Germany, 2009. Corey, E.J. Cheng, X. The Logic of Chemical Synthesis, WUey New York, 1995. 

Future instruments for programming and complete synthesis control will contain micro processors to execute the functions of the machine based on signals from the mechanical operations as well as from the chemical reactions of the synthesizer. A minimum of orders will have to be preprogrammed by dialing into an electronic memory system. The control unit will check the chemical transformations and draw logical conclusions to optimize the proceeding synthesis, as further discussed in Sect. 4.1.4. 

---