Efficient Boolean matching in technology mapping with very large cell libraries

2002 ◽  
Author(s):  
U. Schlichtmann ◽  
F. Brglez
Keyword(s):  
Large Cell ◽  
Technology Mapping ◽  
Boolean Matching

scholarly journals Cell Generator-Based Technology Mapping by Constructive Tree-Matching and Dynamic Covering

VLSI Design ◽  
1995 ◽  
Vol 3 (1) ◽  
pp. 1-12 ◽  
Author(s):  
Martin Lefebvre ◽  
Cliff Liem
Keyword(s):  
Logic Synthesis ◽  
Large Cell ◽  
Technology Mapping ◽  
Circuit Realization ◽  
Matching Algorithm ◽  
Logic Network ◽  
Feasibility Constraints ◽  
Matching Techniques ◽  
Physical Components

Technology mapping is the final step of logic synthesis which consists of mapping an optimized technology independent logic network representation into a circuit realization in a given technology. An important component of the technology mapping problem is the identification of feasible library cells for the realization of the logic operators in the logic tree. There are two main classes of such matching algorithms. Library-based matching algorithms [1–4] require that all available physical components be represented explicitly in a pattern library. Sections of the logic network are then matched against this pattern list for the identification of suitable components. In contrast, cell generator-based matching techniques [6–8] accept feasibility constraints on the complexity and quantity of physical components according to limits imposed by the target technology or the capabilities of the cell generator. Hence, individual patterns are not stored in a library and are instead generated as needed. In this paper, we present a new cell generator-based constructive matching algorithm. Because the algorithm builds matched patterns incrementally, very large cell families can be accommodated using time and space resources that are proportional to the size of the largest feasible cell pattern and not the size of the library of patterns as would be the case for library-based approaches. Also, whereas existing cell generator-based matching techniques combine the tasks of matching (identification) and covering (selection), constructive matching provides more flexibility by not restricting the covering phase. Empirical results demonstrate the increased quality of the technology-mapped circuits when larger cells are available.

Enhanced Technology Mapping for FPGAs with Exploration of Cell Configurations

2015 ◽  
Vol 24 (03) ◽  
pp. 1550039 ◽  
Author(s):  
Grace Zgheib ◽  
Iyad Ouaiss
Keyword(s):  
State Of The Art ◽  
Variable Structure ◽  
Logic Circuits ◽  
Technology Mapping ◽  
Decomposition Techniques ◽  
Gate Arrays ◽  
Field Programmable ◽  
Boolean Matching ◽  
Programmable Gate Arrays ◽  
Logic Functions

In the state-of-the-art field-programmable gate arrays (FPGAs), logic circuits are synthesized and mapped on clusters of look-up tables. However, arithmetic operations benefit from an existing dedicated adder along with a carry chain used to ensure a fast carry propagation. This carry chain is a dedicated wire available in the architecture of the FPGA and is as such independent of the external programmable routing resources. In this paper, we propose a variable-structure Boolean matching technology mapper with embedded decomposition techniques to map nonarithmetic logic functions on carry chains. Previously synthesized and mapped logic functions are adapted so that their outputs are routed using the dedicated carry chains instead of the external programmable interconnects. The experimental results show a reduction in the used routing resources as well as the circuit area when using this Boolean matching-based mapper on the Altera Stratix-III FPGA.

Efficient SAT-based Boolean matching for FPGA technology mapping

2006 ◽  
Author(s):  
Sean Safarpour ◽  
Andreas Veneris ◽  
Gregg Baeckler ◽  
Richard Yuan
Keyword(s):  
Technology Mapping ◽  
Boolean Matching

Laser scanning confocal microscopic analysis of cytoskeletal and nuclear reorganization in live Drosophila embryos

1993 ◽  
Vol 51 ◽  
pp. 174-175
Author(s):  
William Theurkauf
Keyword(s):  
Laser Scanning ◽  
Microscopic Analysis ◽  
Large Cell ◽  
Early Embryo ◽  
Drosophila Embryo ◽  
Cortical Actin ◽  
Nuclear Reorganization ◽  
Cytoskeletal Elements ◽  
Microtubule Structure ◽  
Drosophila Embryos

Cell division in eucaryotes depends on coordinated changes in nuclear and cytoskeletal components. In Drosophila melanogaster embryos, the first 13 nuclear divisions occur without cytokinesis. During the final four divisions, nuclei divide in a uniform monolayer at the surface of the embryo. These surface divisions are accompanied by dramatic changes in cortical actin and microtubule structure (Karr and Alberts, 1986), and inhibitor studies indicate that these changes are essential to orderly mitosis (Zalokar and Erk, 1976). Because the early embryo is syncytial, fluorescent probes introduced by microinjection are incorporated in structures associated with all of the nuclei in the blastoderm. In addition, the nuclei divide synchronously every 10 to 20 min. These characteristics make the syncytial blastoderm embryo an excellent system for the analysis of mitotic reorganization of both nuclear and cytoskeletal elements. However, the Drosophila embryo is a large cell, and resolution of cytoskeletal filaments and nuclear structure is hampered by out-of focus signal.

Sign in / Sign up

Export Citation Format

Share Document