Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Fast Heuristic Algorithm for Redundancy Removal   Redundancy identification is an important step of the design flow that
typically follows logic synthesis and optimization. In addition to reducing
circuit area, power consumption, and delay, redundancy removal also improves
testability. All commercially available synthesis tools include a redundancy
removal engine which is often run multiple times on the same netlist during
optimization. This paper presents a fast heuristic algorithm for redundancy
removal in combinational circuits. Our idea is to provide a quick partial
solution which can be used for the intermediate redundancy removal runs instead
of exact ATPG or SAT-based approaches. The presented approach has a higher
implication power than the traditional heuristic algorithms, such as FIRE, e.g.
on average it removes 37% more redundancies than FIRE with no penalty in
runtime.

21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
15
The categories of this paper are: nucl-ex