2021 Volume 31 Issue 4 Pages 222-243
Abstract. This paper proposes a method using quantifier elimination to search circuit-constant range of high-voltage analog circuits. Quantifier elimination is a method which solves equivalent logical expression even with free variables involved by removing quantifier symbol included in first-order predicate logic. Because the method is able to search the circuit-constant range in a guarantee stable operation, it is suitable for safely redesigning past assets of high-voltage analog circuits. In this paper, circuit-constant values are determined using the proposed method, and its effectiveness is examined through experiment of high-voltage analog circuits.