[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Improving symbolic traversals by means of activity profiles
Cabodi, Gianpiero, Camurati, Paolo, Quer, StefanoYear:
1999
Language:
english
DOI:
10.1145/309847.309938
File:
PDF, 95 KB
english, 1999