2006
DOI: 10.1145/1233501.1233531
|View full text |Cite
|
Sign up to set email alerts
|

Factor cuts

Abstract: Enumeration of bounded size cuts is an important step in several logic synthesis algorithms such as technology mapping and re-writing. The standard algorithm does not scale beyond 6 or 7 inputs because it enumerates all cuts and there are too many of them. We address the enumeration problem by introducing the notion of cut factorization. In cut factorization, one enumerates global and local cuts (collectively called the factor cuts) of the network, and uses these to generate other cuts. Depending on how global… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
19
0

Year Published

2007
2007
2023
2023

Publication Types

Select...
6
1

Relationship

0
7

Authors

Journals

citations
Cited by 17 publications
(19 citation statements)
references
References 11 publications
0
19
0
Order By: Relevance
“…The primary benefit of our approach is its generality. For example, there has been extensive research done on pruning the solution space of cut generation to reduce its runtime and memory use [9], [12]. Interestingly, all these techniques are orthogonal to our work.…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…The primary benefit of our approach is its generality. For example, there has been extensive research done on pruning the solution space of cut generation to reduce its runtime and memory use [9], [12]. Interestingly, all these techniques are orthogonal to our work.…”
Section: Discussionmentioning
confidence: 99%
“…Problem Description and Related Work 1) Cut Generation: While cut generation has been traditionally applied to iterative FPGA technology mappers, such as DAOmap [10] and IMap [11], there has been a renewed interest in the cut generation problem [3], [12] due to its growing use in several other CAD problems including:…”
Section: A Terminologymentioning
confidence: 99%
“…Let ΦK (n) to be the set of K-cuts of n ∈ G and, if n is an AND node, let n1 and n2 to be its inputs. Then, ΦK (n) is defined recursively [4], as described in (4).…”
Section: And-inverter Graphs and K-cutsmentioning
confidence: 99%
“…Algorithms based on K-cut enumeration have been proposed, such as factor cuts [4] and priority cuts [14], reducing the search space and enabling cuts with more nodes and inputs. Also, multi-output blocks based on K-cuts were presented [8,9], which extract the complete local context.…”
Section: Introductionmentioning
confidence: 99%
“…There are extensive studies (e.g., [12,13,14,15,16,17]) on synthesis for homogeneous PLBs, but only limited research on synthesis for heterogeneous PLBs. [10] proposed heuristics to speedup the technology mapping for homogeneous PLBs and then extended them to consider heterogeneous PLBs with mixed LUT sizes.…”
Section: Introductionmentioning
confidence: 99%