(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