MILP-based models are useful for finding optimal schedules and for proving their optimality. Because of the problem complexity, model improvements have to be investigated. We analyze the constraints necessary for precluding resource conflicts, present novel formulations, and evaluate them. The efficiency of the solution process can be improved significantly by selecting the proper formulation.

This paper reports on a new bottom-up synthesis technique for general behavioral descriptions. Our technique extends traditional straight-line code synthesis by allowing hierarchical, block-structured dataflow graphs with block-level parallelism. Program path probabilities are taken into account; and both high-level synthesis and design-space exploration are addressed.

In this paper we are concerned with the PLA folding problem defined by Hachtel, Newton and Sangiovanni-Vincentelli. We propose a depth first branch and bound procedure for optimizing simultaneous row and column folding. With our procedure one can compute such a PLA folding which is optimal with respect to different practical constraints. We present some results of an implemented algorithm that is restricted to row folding.

For the logic design of digital controllers, efficient synthesis algorithms have been published. Most of these assume, that a completely new hardware consisting of the fewest number of components has to be built. The implementation of those algorithms form an important part of a CAD system for logic design. In order to be accepted in practice, a CAD system has to take into account additional requirements. One of these concerns with the minimization of hardware changes caused by subsequent modifications of the control task which often become necessary after the completion of the hardware implementation. This paper describes a method which solves this problem for an universal structure of microprogrammed controllers. This method is implemented as a module of the CAD program system LOGE. LOGE supports the logic design of hardwired, microprogrammed, and microprocessor based controllers. LOGE already proved to be a powerful design tool in several industrial applications.