Title :
Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths
Author :
Cabodi, Gianpiero ; Camurati, Paolo ; Quer, Stefano
Author_Institution :
Politecnico di Torino, Dipartimento di Automatica e Informatica, Turin, Italy
Abstract :
Symbolic state space traversal techniques are best on control-dominated circuits, not on data paths. This paper extends their applicability to data paths. We use auxiliary variables to decompose Boolean functions and to manipulate them in decomposed form. Experimental results demonstrate the gain both in terms of BDD size and CPU time.
Keywords :
Binary decision diagrams; Boolean functions; Central Processing Unit; Circuits; State-space methods;
Conference_Titel :
Design Automation, 1994. 31st Conference on
Print_ISBN :
0-89791-653-0
DOI :
10.1109/DAC.1994.204113
