[ACM Press the 46th Annual Design Automation Conference - San Francisco, California (2009.07.26-2009.07.31)] Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09 - A novel verification technique to uncover out-of-order DUV behaviors
Marcilio, Gabriel, Santos, Luiz C. V., Albertini, Bruno, Rigo, SandroAnnée:
2009
Langue:
english
DOI:
10.1145/1629911.1630031
Fichier:
PDF, 155 KB
english, 2009