Abstract:
This paper describes principles of a novel two-level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a reverse way than common minimizers do. First, the cover of the on-set is found, and after that the appropriate implicants are being constructed to satisfy this cover. Thus, only the necessary group implicants are being generated, which makes FC-Min an extremely fast and efficient minimizer for functions with many output variables. An essential phase of the algorithm is the Find Coverage procedure. This phase determines the number of terms in the final solution, which has to be reduced to minimum. It solves an NP-hard problem, thus some heuristic has to be applied. We propose our heuristic method to solve this problem and study the influence of parameters on the final solution quality and runtime. 1.
Citations
|
403
|
Synthesis and Optimization of Digital Circuits
– DeMicheli
- 1994
|
|
207
|
Logic synthesis and optimization benchmarks user guide version
– Yang
- 1991
|
|
123
|
A way to simplify truth functions
– Quine
- 1955
|
|
105
|
Minimization of Boolean functions
– McCluskey
- 1956
|
|
37
|
MINI: A Heuristic Approach for Logic Minimization
– Hong, Cain, et al.
- 1974
|
|
36
|
et al.: Logic minimization algorithms for VLSI synthesis
– Brayton
- 1984
|
|
35
|
A Novel Pattern Generator for Near-Perfect Fault-Coverage
– Chatterjee, Pradhan
- 1995
|
|
25
|
Transformed Pseudo-Random Patterns for BIST
– Touba, McCluskey
- 1995
|
|
17
|
Logic Synthesis and Verification
– Hassoun, Sasao
- 2002
|
|
14
|
A tutorial on BIST, part 1: Principles
– Agarwal, Saluja
- 1993
|
|
14
|
et al.: ESPRESSO-SIGNATURE: A new exact minimizer for logic functions
– McGeer
- 1993
|
|
13
|
H.: Column-Matching BIST Exploiting Test Don't-Cares
– Fišer, ka, et al.
- 2003
|
|
11
|
a Heuristic Boolean Minimizer
– Fišer, ka, et al.
|
|
10
|
Doing Two-Level Logic Minimization 100 Times Faster
– Coudert
- 1995
|
|
6
|
a Heuristic Boolean Minimizer
– ka, Fišer, et al.
|
|
6
|
FC-Min: A Fast Multi-Output Boolean Minimizer
– Fišer, ka, et al.
- 2003
|
