On the influence of the state encoding on OBDD-representations of finite state machines
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 1, pp. 21-31.
@article{ITA_1999__33_1_21_0,
     author = {Meinel, Christoph and Theobald, Thorsten},
     title = {On the influence of the state encoding on {OBDD-representations} of finite state machines},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {21--31},
     publisher = {EDP-Sciences},
     volume = {33},
     number = {1},
     year = {1999},
     mrnumber = {1705853},
     zbl = {0927.68051},
     language = {en},
     url = {http://archive.numdam.org/item/ITA_1999__33_1_21_0/}
}
TY  - JOUR
AU  - Meinel, Christoph
AU  - Theobald, Thorsten
TI  - On the influence of the state encoding on OBDD-representations of finite state machines
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1999
SP  - 21
EP  - 31
VL  - 33
IS  - 1
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1999__33_1_21_0/
LA  - en
ID  - ITA_1999__33_1_21_0
ER  - 
%0 Journal Article
%A Meinel, Christoph
%A Theobald, Thorsten
%T On the influence of the state encoding on OBDD-representations of finite state machines
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1999
%P 21-31
%V 33
%N 1
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1999__33_1_21_0/
%G en
%F ITA_1999__33_1_21_0
Meinel, Christoph; Theobald, Thorsten. On the influence of the state encoding on OBDD-representations of finite state machines. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 1, pp. 21-31. http://archive.numdam.org/item/ITA_1999__33_1_21_0/

[1] A. Aziz, S. Taziran and R. K. Brayton, BDD variable ordering for interacting finite state machines, in Proc. 31st ACM/IEEE Design Automation Conference (San Diego, CA, 1994). 283-288.

[2] J. Bern, Ch. Meinel and A. Slobodová, Global rebuilding of OBDDs - avoiding memory requirement maximain Proc. Computer-Aided Verification, Springer, Berlin, Lecture Notes in Computer Science 939 (1995) 4-15.

[3] B. Bollig and I. Wegener, Improving the variable ordering of OBDDs is NP-complete. Trans. Comput. 45 (1996) 993-1002. | Zbl

[4] R. E. Bryant, Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35 (1986) 677-691. | Zbl

[5] R. E. Bryant, Symbolic Boolean manipulation with ordered binary décision diagrams. ACM Computing Surveys 24 (1992) 293-318.

[6] J. R. Burch, E. M. Clarke, D. E. Long, K. L. Mcmillan and D. L. Dill, Symbolic model checking for sequential circuit verification. Circuits 13 (1994) 401-424.

[7] O. Coudert, C. Berthet and J. C. Madre, Verification of synchronous sequential machines using symbolic execution, in Proc. Workshop on Automatic Verification Methods for Finite State Machines, Springer, Berlin, Lecture Notes in Computer Science 407 (1989) 365-373.

[8] O. Coudert and J. C. Madre, The implicit set paradigm: a new approach to finite state system verification. Formal Methods in System Design 6 (1995) 133-145.

[9] A. Ghosh, S. Devadas and A. R. Newton, Sequential logic testing and verification, Kluwer Academic Publishers, Boston, MA (1992).

[10] R. W. Hamming, Coding and information theory, Prentice-Hall, Englewood Cliffs, NJ (1980). | MR | Zbl

[11] Ch. Meinel and A. Slobodová, On the complexity of constructing optimal ordered binary decision diagrams, in Proc. Mathematical Foundations in Computer Science, Springer, Berlin, Lecture Notes in Computer Science 841 (1994) 515-524.

[12] Ch. Meinel, F. Somenzi and T. Theobald, Linear sifting of decision diagrams, in Proc. 34th ACM/IEEE Design Automation Conference (Anaheim, CA, 1997) 202-207.

[13] Ch. Meinel and T. Theobald, Local encoding transformations for optimizing OBDD-representations of finite state machines, in Proc. International Conference on Formal Methods in Computer-Aided Design (Palo Alto, CA), Springer, Berlin, Lecture Notes in Computer Science 1166 (1996) 404-418.

[14] R. Rudell, Dynamic variable ordering for ordered binary decision diagrams, in Proc. IEEE International Conference on Computer-Aided Design (Santa Clara, CA, 1993) 42-47.

[15] S. Tani, K. Hamaguchi and S. Yajima, The complexity of the optimal variable ordering problems of shared binary decision diagrams, in Proc. International Symposium on Algorithms and Computation, Springer, Berlin, Lecture Notes in Computer Science 762 (1993) 389-398. | MR | Zbl

[16] I. Wegener, Efficient data structures for Boolean functions. Discrete Math. 136 (1994) 347-372. | MR | Zbl