Published at Reed-muller 97, Oxford Reordering Based Synthesis
نویسندگان
چکیده
Reordering Based Synthesis (RBS) as an alternative approach to manipulate Decision Diagrams (DDs) is presented. Based on the concept of operation nodes a single \core" operation, i.e. an extended Level Exchange (LE), is suucient to perform the usual synthesis operations on several types of DDs. RBS allows the integration of dynamic variable ordering (even) within a single synthesis operation (e.g. an AND-operation) and thus provides the possibility of avoiding huge peak sizes during the construction. The optimization potential is signiicantly enlarged by allowing LEs even between operation nodes. A large number of experimental results for the BDD case connrm the validity of the concept.
منابع مشابه
Onset based optimization of multi-level mixed polarity Reed-Muller functions
A novel onset based optimization method is proposed to convert a Fixed Polarity Reed-Muller (FPRM) function to a compact Multi-level Mixed Polarity Reed-Muller (MMPRM) forms. Onset table is introduced to represent an FPRM function. By operating on the onset table to extract common variables, its compact MMPRM is obtained. The spatial complexity of the proposed algorithm is O(M×n) (M is onset si...
متن کاملA Numerical Method for Reed-Muller Circuit Synthesis
A numerical computation based circuit synthesis technique is presented for the Reed-Muller canonical form. The synthesis methodology is reduced to the problem of nding a solution to linear system of equations in the real-eld. The mathematical formulation for this technique is developed and it is shown that a unique solution exists. A synthesis example is presented along with a discussion on imp...
متن کاملNearest Neighbour based Synthesis of Quantum Boolean Circuits
Quantum Boolean circuit synthesis issues are becoming a key area of research in the domain of quantum computing. For gate-level synthesis, minterm based and ReedMuller canonical decomposition techniques are adopted as common approaches. Physical implementation of quantum circuits have inherent constraints and hence nearest neighbour template of input lines is gaining importance. In this work, w...
متن کاملEfficient Calculation of the Reed-muller Form by Means of the Walsh Transform
The paper describes a spectral method for combinational logic synthesis using the Walsh transform and the Reed-Muller form. A new algorithm is presented that allows us to obtain the mixed polarity Reed-Muller expansion of Boolean functions. The most popular minimisation (sub-minimisation) criterion of the Reed-Muller form is obtained by the exhaustive search of all the polarity vectors. This pa...
متن کاملSteganography Scheme Based on Reed-Muller Code with Improving Payload and Ability to Retrieval of Destroyed Data for Digital Images
In this paper, a new steganography scheme with high embedding payload and good visual quality is presented. Before embedding process, secret information is encoded as block using Reed-Muller error correction code. After data encoding and embedding into the low-order bits of host image, modulus function is used to increase visual quality of stego image. Since the proposed method is able to embed...
متن کامل