Learn More
We present theory and a novel, implicit algorithm for functional disjoint decomposition of multiple-output functions. While a Boolean function usually has a huge number of decomposition functions, we show that not all of them are useful for multiple-output decomposition. We therefore introduce the concept of preferable decomposition functions, which are su(More)
This paper presents a novel, Boolean approach to LUTbased FPGA technology mapping targeting high performance. As the core of the approach, we have developed a powerful functional decomposition algorithm. The impact of decomposition is enhanced by a preceding collapsing step. To decompose functions for small depth and area, we present an iterative, BDD-based(More)
The effect of temperature on water permeability of plant cuticles (astomatous Citrus leaf cuticles) has been investigated. The Arrhenius plot (logarithm of the permeability coefficient vs. 1/temperature) has two linear portions that intersect at 44° C. Evidence is presented to show that this intersection represents the solid/liquid phase transition of(More)
The growing popularity of look-up table (LUT)based field programmable gate arrays (FPGA’s) has renewed the interest in functional or Roth–Karp decomposition techniques. Functional decomposition is a powerful decomposition method that breaks a Boolean function into a set of subfunctions and a composition function. Little attention has so far been given to(More)
The effect of temperature on wet plant cuticles has been investigated with the following techniques: Calorimetry, densitometry, spin-label electron-spin-resonance-(ESR)-spectroscopy, photo bleaching, and light and electron microscopy. At low temperatures cuticles ofCitrus aurantium L. andHedera helix show, at 16.3°C, a sharp transition (ΔT≈0.5°C) with a(More)
Functional decomposition is an important technique for technology mapping to look up table-based FPGA architectures. We present the theory of and a novel approach to functional disjoint decomposition of multiple-output functions, in which common subfunctions are extracted during technology mapping. While a Boolean function usually has a very large number(More)
Functional decomposition is an important synthesis technique for lookup table based FPGAs. Given a partitioning of a function's input variables into bound set and free set, the extracted subfunctions usually depend on all bound set variables. We show that this, however, is often not necessary. We present an implicit algorithm that finds subfunctions with a(More)
Retiming is an optimization technique for synchronous circuits introduced by Leiserson and Saxe in 1983. Although powerful, retiming is not very widely used because it does not handle in a satisfying way circuits whose registers have load enable, synchronous and asynchronous set/clear inputs. We propose an extension of retiming whose basis is the(More)
In todayýs deep-submicron designs, the interconnect delays contribute an increasing part to the overall performance of an implementation. Particularly when targeting field programmable gate arrays (FPGAs), interconnect delays are crucial, since they can easily vary by orders of magnitude. Many existing performance-directed retiming methods use simple(More)