Don't care computation in minimizing extended finite state machines with Presburger arithmetic

Yunjian Jiang and Robert K. Brayton

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M01/35
December 2001

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/ERL-01-35.pdf

BibTeX citation:

@techreport{Jiang:M01/35,
    Author = {Jiang, Yunjian and Brayton, Robert K.},
    Title = {Don't care computation in minimizing extended finite state machines with Presburger arithmetic},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2001},
    Month = {Dec},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/9595.html},
    Number = {UCB/ERL M01/35}
}

EndNote citation:

%0 Report
%A Jiang, Yunjian
%A Brayton, Robert K.
%T Don't care computation in minimizing extended finite state machines with Presburger arithmetic
%I EECS Department, University of California, Berkeley
%D 2001
%@ UCB/ERL M01/35
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/9595.html
%F Jiang:M01/35