Don't Care Computation in Minimizing Extended Finite State Machines with Presburger Arithmetic.
Yunjian W. Jiang, Robert K. Brayton · 2002
This paper addresses the problem of generating logic don’t cares in minimizing an Extended Finite State Machines (EFSMs). EFSMs have been proposed to model control oriented systems. A version of this, with the data portion modeled by Presburger arithmetic, has been used in formal verification. A structural representation of such EFSMs and an optimization scheme using multi-valued logic is proposed in this paper. It consists of new methods to transfer don’t cares through the data-path and to generate logic don’t cares from the data path. Potential applications are discussed and preliminary results validate the scheme on some reasonable examples.