Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy
VLIW: a case study of parallelism verification
DAC, 2005.
@inproceedings{DAC-2005-AdirADLRVCCD,
author = "Allon Adir and Yaron Arbetman and Bella Dubrov and Yossi Lichtenstein and Michal Rimon and Michael Vinov and Massimo A. Calligaro and Andrew Cofler and Gabriel Duffy",
booktitle = "{Proceedings of the 42nd Design Automation Conference}",
doi = "10.1145/1065579.1065787",
isbn = "1-59593-058-2",
pages = "779--782",
publisher = "{ACM}",
title = "{VLIW: a case study of parallelism verification}",
year = 2005,
}