![](/img/cover-not-exists.png)
[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Auxiliary variables for extending symbolic traversal techniques to data paths
Cabodi, Gianpiero, Camurati, Paolo, Quer, StefanoYear:
1994
DOI:
10.1145/196244.196380
File:
PDF, 839 KB
1994