Numerical computation of characteristic polynomials of Boolean functions and its applications (Q1264386)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Numerical computation of characteristic polynomials of Boolean functions and its applications |
scientific article |
Statements
Numerical computation of characteristic polynomials of Boolean functions and its applications (English)
0 references
29 September 1998
0 references
The authors develop a method of evaluation of characteristic polynomials of Boolean functions with applications to combinational circuit verification. The values of these polynomials are compared at a sample point without explicit construction. An analysis of round-off errors in floating point arithmetic is provided, including randomized algorithms [see \textit{J. T. Schwartz}, J. ACM 27, 701-717 (1980; Zbl 0452.68050)].
0 references
evaluation of characteristic polynomials
0 references
Boolean functions
0 references
combinational circuit verification
0 references
round-off errors
0 references
floating point arithmetic
0 references
randomized algorithms
0 references