See this document in CiteSeerX!

A New Approach to Three-Level Logic Synthesis (2002)  (Make Corrections)  
Valentina Ciriani



  Home/Search   Context   Related

 
View or download:
di.unipi.it/pub/techrep...TR0203.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  di.unipi.it/ricerca/TR/tr2002 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Three-level logic SPP forms are OR of AND of EXORs expressions. In the framework of SPP minimization we give a new algebraic de nition of SPP expressions using ane spaces. The main problems of SPP model are: the \hard to digest" SPP theory; the time required for minimization, which is still high; and the unbounded fan-in EXOR gates in the form. Consequently, our main results in this paper are: 1) we rephrase the SPP theory using well known algebraic structures (vector and ane spaces) to... (Update)

Similar documents based on text:   More   All
0.3:   Fast Three-Level Logic Minimization Based on Autosymmetry - Bernasconi, Ciriani.. (2002)   (Correct)
0.1:   Logic Minimization using Exclusive OR Gates - Ciriani (2001)   (Correct)
0.1:   Self-adjusting Data Structures for External Memory.. - Ciriani, Ferragina..   (Correct)

BibTeX entry:   (Update)

@misc{ ciriani-new,
  author = "Valentina Ciriani",
  title = "A New Approach to Three-Level Logic Synthesis",
  url = "citeseer.ist.psu.edu/ciriani02new.html" }
Citations (may not include all citations):
296   Logic Minimization Algorithms for VLSI Synthesis (context) - Brayton, Hachtel et al. - 1984
200   Principles of CMOS VLSI Design (context) - Weste, Eshraghian - 1993
108   An Introduction to the Analysis of Algorithms (context) - Sedgewick, Flajolet - 1996
76   Minimization of Boolean Functions (context) - McCluskey - 1956
75   Multiple Valued Minimization for PLA Optimization (context) - Rudell, Sangiovanni-Vincentelli - 1987
59   The Problem of Simplifying Truth Functions (context) - Quine - 1952
39   Two-Level Logic Minimization: an overview (context) - Coudert - 1994
14   Espresso-Signature: A New Exact Minimizer for Logic Function.. - McGeer, Sanghavi et al. - 1993
13   Synthesis of Finite State Machines: Logic Optimization (context) - Villa, Kam et al. - 1997
13   A Design Method for AND-OR-EXOR Three Level Networks - Sasao - 1995
10   A Heuristic Algorithm to Design AND-OR-EXOR Three-Level Netw.. - Debnath, Sasao - 1998
10   Compact SOP Representations for Multiple-Output Functions: A.. - Sasao - 2001
9   A New Method to Compute Prime and Essential Prime Implicants.. (context) - Coudert, Madre - 1992
8   Three-Level Decomposition with Application to PLDs (context) - Malik, Harrison et al. - 1991
7   AOXMIN-MV: A Heuristic Algorithm for AND-OR-XOR Minimization - Dubrova, Miller et al. - 1999

[Article contains additional citations not shown here]

Documents on the same site (http://www.di.unipi.it/ricerca/TR/tr2002.html):   More
π-Calculus Early Observational Equivalence: A First Order.. - Montanari (2002)   (Correct)
Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002)   (Correct)
Recovery Of Certain Displacement Matrices - Bozzo (2002)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC