Auxiliary variables for extending symbolic traversal techniques to data paths

Authors:
Gianpiero Cabodi;Paolo Camurati;Stefano Quer
Affiliations:
Politecnico di Torino, Dipartimento di Automatica e Informatica, Turin, Italy;Politecnico di Torino, Dipartimento di Automatica e Informatica, Turin, Italy;Politecnico di Torino, Dipartimento di Automatica e Informatica, Turin, Italy
Venue:
DAC '94 Proceedings of the 31st annual Design Automation Conference
Year:
1994

Reachability analysis using partitioned-ROBDDs

ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Auxiliary variables for BDD-based representation and manipulation of Boolean functions

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Hi-index	0.00